metamath-theories Subpackage of metamath
Existing mathematical theories in the metamath format
This package contains metamath theory files for several branches of mathematics, such as ZFC set theory, HOL, and Peano arithmetic.
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+ and CC0
- 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