Fedora Packages

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

You can contact the maintainers of this package via email at metamath dash maintainers at fedoraproject dot org.



Sources on Pagure