Metamath formal proof verifier and proof assistant

Edit Package metamath

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 0000006457 6.31 KB
metamath.spec 0000004468 4.36 KB
metamath.tar.bz2 0014486227 13.8 MB
metamath.tex 0000725435 708 KB
Latest Revision
Wolfgang Engel's avatar Wolfgang Engel (bigironman) accepted request 881183 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 2)
- Update to version 0.196.
Comments 0
openSUSE Build Service is sponsored by