We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A Metamath Zero kernel for Trivial
Rust 2
A parser for the Metamath Zero binary proof format
There was an error while loading. Please reload this page.
Utility tools for Metamath Zero binary proof files
The Trivial proof verifier - an interface to the Metamath Zero kernel
The Trivial compiler framework for Metamath Zero binary proofs
Definitions of opcodes present in the Metamath Zero binary format
Loading…
