sci-mathematics / metamath

Proof verifier based on a minimalistic formalism

Official package sites : http://us.metamath.org/ ·

Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.

v0.198 :: 0 :: gentoo

Modified
License
GPL-2
Keywords
~amd64 ~x86

sci-mathematics / metamath-databases : Sample databases for Metamath

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/metamath: change patch filename
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/metamath: new package; add version 0.198
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>