mmj2
mmj2 is a proof assistant for the Metamath language. Metamath is a language that lets you express mathematical axioms and theorems. The proof assistant includes a GUI for creating proofs, proof verification tools, and grammatical/syntax analysis.
- Name
- mmj2
- Main Program
mmj2- Programs
mmj2
- Homepage
- Version
- 2.5.2-unstable-2023-06-27
- License
- Maintainers
- Platforms
- aarch64-linux
- armv5tel-linux
- armv6l-linux
- armv7a-linux
- armv7l-linux
- i686-linux
- loongarch64-linux
- m68k-linux
- microblaze-linux
- microblazeel-linux
- mips-linux
- mips64-linux
- mips64el-linux
- mipsel-linux
- powerpc-linux
- powerpc64-linux
- powerpc64le-linux
- riscv32-linux
- riscv64-linux
- s390-linux
- s390x-linux
- x86_64-linux
- Defined
- Source