A library containing the definitions of the opcodes in the Metamath Zero binary proof files.
This library is distributed under the terms of either the MIT license (see LICENSE-MIT) or the Apache License, Version 2.0 (see LICENSE-APACHE).
A library containing the definitions of the opcodes in the Metamath Zero binary proof files.
This library is distributed under the terms of either the MIT license (see LICENSE-MIT) or the Apache License, Version 2.0 (see LICENSE-APACHE).