mmb-types

A library containing the definitions of the opcodes in the Metamath Zero binary proof files.

License

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).