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-9.fc42	-
Fedora 41	0.198-8.fc41	-
Fedora 40	0.198-7.fc40	-

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.