PyPI page
Home page
Author:
Vincent Gonzalez
License:
MIT
Summary:
Find avoidable axiom dependencies in Metamath databases, and build the proofs that remove them.
Latest version:
0.2.0
Optional dependencies:
mcp
Downloads last day:
0
Downloads last week:
22
Downloads last month:
65
7-day smoothing