punctilious

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