Search All packages Top packages Track packages
PyPI page Home page Author: License: Summary: A human-friendly and developer-friendly math proof assistant Latest version: 1.0.10 Downloads last day: 3 Downloads last week: 7 Downloads last month: 38