gentoo.mahdi.cz
sci-mathematics
:metamath
Proof verifier based on a minimalistic formalism
http://us.metamath.org/
metamath-0.198
GPL-2
download
~amd64 ~x86
gentoo