/mmb-types

Definitions of opcodes present in the Metamath Zero binary format

Primary LanguageRustOtherNOASSERTION

No issues in this repository yet.