metamath
Construct mathematics from basic axioms
Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. Metamath lets you see mathematics developed in complete detail from first principles, with absolute rigor.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 0.198-1.fc35 | - |
| Fedora 35 | 0.198-1.fc35 | - |
| Fedora 34 | 0.196-2.fc34 | - |
Package Info
Related Packages
- Upstream: http://us.metamath.org/
- License(s): GPLv2+
- Maintainer: jjames
Related Packages
You can contact the maintainers of this package via email at
metamath dash maintainers at fedoraproject dot org.
Sources on Pagure