Metamath formal proof verifier and proof assistant

The Metamath language is a language to write theorems and formal proofs for them. The Metamath program can parse files in the Metamath language and verify the proofs.

Refresh
Refresh
Source Files
Filename Size Changed
metamath.changes 0000004487 4.38 KB about 1 year
metamath.spec 0000004520 4.41 KB about 1 year
metamath.tar.bz2 0012771888 12.2 MB about 1 year
metamath.tex 0000725435 708 KB over 1 year
Comments for metamath 0
openSUSE Build Service is sponsored by