# 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](LICENSE-MIT)) or the Apache License, Version 2.0 (see [LICENSE-APACHE](LICENSE-APACHE)).