Package Info

metamath


Formal proof verifier and proof assistant


Productivity/Scientific/Math

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. You can find examples of theories developed in Metamath on the website.


License: GPL-2.0-or-later
URL: http://us.metamath.org/

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.180-bp152.1.52 info GA Release 2020-06-10 15 SP2
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • metamath
  • metamath-book
  • metamath-data
0.196-bp153.2.1 info GA Release 2021-03-25 15 SP3
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • metamath
  • metamath-book
  • metamath-data