metamath - Fedora Packages

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-4.fc38	-
Fedora 38	0.198-4.fc38	-
Fedora 37	0.198-3.fc37	-

File a new bug report »

Package Info

Upstream: https://us.metamath.org/
License(s): GPL-2.0-or-later
Maintainer: jjames

Related Packages

metamath-doc
metamath-theories

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