mm0b_parser 0.1.0

parsing tools for Metamath Zero's mmb binary format

Coverage
99.49%
196 out of 197 items documented
Links
digama0/mm0
288 40 7
Crates.io
Dependencies
Versions
- 0.1.4
- 0.1.3
- 0.1.2
- 0.1.1
- 0.1.0
Owners

Import and export functionality for MMB binary proof format

See mm0-c/verifier.c for information on the MMB format.