GUI Proof Assistant for the Metamath project.
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.
2.5.2-unstable-2023-06-27aarch64-linuxarmv5tel-linuxarmv6l-linuxarmv7a-linuxarmv7l-linuxi686-linuxloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-linux