Gentoo Portage Overlays - sci-mathematics/metamath

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/metamath

Proof verifier based on a minimalistic formalism

Screenshots

http://us.metamath.org/

metamath-0.198

~amd64 ~x86

View

Download

Browse License: GPL-2

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

metamath-0.198