mmb-parser 0.6.0

A parser for the Metamath Zero binary proof format
Documentation 
1
2
3
4
5
6
7

# mmb-parser

A library for parsing binary Metamath Zero 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)).