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) or the Apache License, Version 2.0 (see LICENSE-APACHE).
A library for parsing binary Metamath Zero proof files.
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).