8 releases (breaking)
0.7.0 | Apr 6, 2021 |
---|---|
0.6.0 | Mar 15, 2021 |
0.5.1 | Mar 4, 2021 |
0.4.0 | Mar 4, 2021 |
0.1.0 | Mar 4, 2021 |
#5 in #metamath-zero
29 downloads per month
Used in trivial-verifier
27KB
671 lines
mmb-parser
A library for parsing binary Metamath Zero proof files.
The proof files for Metamath Zero are designed to be consumed by the verifier in situ, such that parsing the file into complicated data structures is not necessary. This library exposes the internals of the file format for inspecting and debugging purposes.
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).
Dependencies
~1MB
~17K SLoC