Definitions of opcodes present in the Metamath Zero binary format
Primary LanguageRustOtherNOASSERTION