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 0000007212 7.04 KB
metamath.spec 0000003562 3.48 KB
Revision 6 (latest revision is 7)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 946709 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 6)
- Update to version 0.198.
  * Put two spaces between $c,v on same line in /rewrap.
  * Fix cosmetic bug in WRITE SOURCE ... /REWRAP that prevented end
    of sentence (e.g. period) from appearing in column 79, thus
    causing some lines to be shorter than necessary.
- Use tarballs from GitHub because they have versioned URLs.
- Drop data package. There are no (recent) releases and the files
  are just taken verbatim from https://github.com/metamath/set.mm
  anyway. Users will likely want to work on these in their home
  directory anyway, since they're not libraries.
- Only suggest the book to install.
Comments 0
openSUSE Build Service is sponsored by