PyPI page
Author:
Ramiro Santa Ana Anguiano
Summary:
A simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs.
Latest version:
0.1.1
Optional dependencies:
tree-sitter
Downloads last day:
4
Downloads last week:
4
Downloads last month:
29
7-day smoothing