PyRank

Proof Automation Python Packages

Python packages with the GitHub topic proof-automation. Sorted by monthly downloads, with stars and forks.
vince-gonzalez
mmforge

Find avoidable axiom dependencies in Metamath databases, and build the proofs that remove them. Nine contributions merged into set.mm.

270 0 0