PyPI page
Author:
Vince Gonzalez
Summary:
Measure where a formal library spends its axioms: Lean 4 and Metamath.
Latest version:
0.5.6
Required dependencies:
numpy
Optional dependencies:
mcp
|
pytest
Downloads last day:
10
Downloads last week:
124
Downloads last month:
467
7-day smoothing