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-7.fc40 | - |
| Fedora 40 | 0.198-7.fc40 | - |
| Fedora 39 | 0.198-5.fc39 | - |
| Fedora 38 | 0.198-4.fc38 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://us.metamath.org/
- License(s): GPL-2.0-or-later AND CC0-1.0
- 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