metamath
Proof verifier based on a minimalistic formalism
Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.
homepage ↗ github: metamath/metamath-exe
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 0.198 | 1 | 17 h | details › |