Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/trivial-rs/mmb-parser
A parser for the Metamath Zero binary proof format
https://github.com/trivial-rs/mmb-parser
Last synced: 1 day ago
JSON representation
A parser for the Metamath Zero binary proof format
- Host: GitHub
- URL: https://github.com/trivial-rs/mmb-parser
- Owner: trivial-rs
- License: other
- Created: 2021-03-04T11:03:56.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2021-04-06T16:11:23.000Z (over 3 years ago)
- Last Synced: 2024-05-22T20:34:19.722Z (6 months ago)
- Language: Rust
- Size: 45.9 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - mmb-parser - parser) - parser for the Metamath Zero binary proof format. (Projects / Libraries)
README
# mmb-parser
[![Crates.io](https://img.shields.io/crates/v/mmb-parser.svg)](https://crates.io/crates/mmb-parser)
[![Documentation](https://docs.rs/mmb-parser/badge.svg)](https://docs.rs/mmb-parser)
![License](https://img.shields.io/crates/l/mmb-parser.svg)A library for parsing binary [Metamath Zero](https://arxiv.org/abs/1910.10703) 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](LICENSE-MIT)) or the Apache License, Version 2.0 (see [LICENSE-APACHE](LICENSE-APACHE)).