Pinned Repositories
compiler
The Trivial compiler framework for Metamath Zero binary proofs
kernel
A Metamath Zero kernel for Trivial
mmb-binutils
Utility tools for Metamath Zero binary proof files
mmb-parser
A parser for the Metamath Zero binary proof format
mmb-types
Definitions of opcodes present in the Metamath Zero binary format
verifier
The Trivial proof verifier - an interface to the Metamath Zero kernel
trivial-rs's Repositories
trivial-rs/kernel
A Metamath Zero kernel for Trivial
trivial-rs/compiler
The Trivial compiler framework for Metamath Zero binary proofs
trivial-rs/mmb-binutils
Utility tools for Metamath Zero binary proof files
trivial-rs/mmb-parser
A parser for the Metamath Zero binary proof format
trivial-rs/mmb-types
Definitions of opcodes present in the Metamath Zero binary format
trivial-rs/verifier
The Trivial proof verifier - an interface to the Metamath Zero kernel