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-0.198.tar.gz 0000468593 458 KB
metamath-book-20190602.tar.gz 0001697421 1.62 MB
metamath.changes 0000007581 7.4 KB
metamath.spec 0000003764 3.68 KB
Latest Revision
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 974104 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 7)
- Disable build of metamath-book on Tumbleweed: it doesn't build
  with TeXlive 2022 because of what seems to be a bug in
  texlive-tabu. (gh#metamath/metamath-book#235)
- Use symbolic dependencies for required TeX packages.
Comments 0
openSUSE Build Service is sponsored by