mm0b_parser-0.1.3
Platform
Feature flags

docs.rs

Rust

mm0b_parser 0.1.3

parsing tools for Metamath Zero's MMB binary format

Crate
Source
Builds
Feature flags

Coverage
90.21%
212 out of 235 items documented0 out of 22 items with examples
Links
digama0/mm0
361 47 10
crates.io
Dependencies
Versions
Owners

Import and export functionality for MMB binary proof format

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