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-11.fc44 | - |
| Fedora 44 | 0.198-11.fc44 | - |
| Fedora 43 | 0.198-10.fc43 | - |
| Fedora 42 | 0.198-9.fc42 | - |
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