4 releases (2 breaking)
| 0.3.1 | Mar 4, 2021 |
|---|---|
| 0.3.0 | Mar 4, 2021 |
| 0.2.0 | Mar 4, 2021 |
| 0.1.2 |
|
#2 in #metamath-zero
Used in 4 crates
(3 directly)
9KB
209 lines
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).