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.

  • Developed at science
  • Sources inherited from project openSUSE:Factory
  • 1 derived packages
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Factory:Rebuild/metamath && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
metamath.1 0000003732 3.64 KB
metamath.changes 0000003107 3.03 KB
metamath.spec 0000004473 4.37 KB
metamath.tar.bz2 0011724304 11.2 MB
metamath.tex 0000709199 693 KB
Revision 1 (latest revision is 7)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 691613 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 1) 
- Initial release of the package based on version 0.175.
- Initial release of the Metamath book from 2019-03-07.
- Use date as version number for Metamath book, because it isn't
versioned alongside the program.
- Add a brief manual page.
- Change SPDX identifier to GPL-2.0-or-later, as README.TXT states.
Comments 0
openSUSE Build Service is sponsored by
Places