mmb-types 0.3.1

Definitions of opcodes present in the Metamath Zero binary format
Documentation 
1
2
3
4
5
6
7

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