Overview Repositories Revisions Requests Users Attributes Meta

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.

  • Devel package for openSUSE:Factory
  • Links to openSUSE:Factory / metamath
  • Download package
  • osc -A https://api.opensuse.org checkout science/metamath && cd $_
  • Create Badge
Refresh
Refresh
Source Files (show unmerged sources)
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
buildservice-autocommit accepted request 974104 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 21) 
baserev update by copy to link target
Comments 0
openSUSE Build Service is sponsored by
Places