LogoopenSUSE Build Service > Projects
Sign Up | Log In

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.

Source Files

Filename Size Changed Actions
metamath.1.gz 1.67 KB Download File
metamath.changes 1.59 KB Download File
metamath.spec 3.21 KB Download File
metamath.tar.bz2 11 MB
metamath.tex 625 KB Download File

Comments for home:aaronpuchert (0)

Login required, please login or signup in order to comment