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 3 months ago Download File
metamath.changes 1.24 KB 3 months ago Download File
metamath.spec 3.14 KB 3 months ago Download File
metamath.tar.bz2 10.1 MB 3 months ago
metamath.tex 625 KB 3 months ago Download File

Comments for home:aaronpuchert (0)