[dependencies.byteorder]
version = "1.4"
[dependencies.memchr]
version = "2.3"
[dependencies.mm0_util]
default-features = false
version = "0.1.4"
[dependencies.zerocopy]
version = "0.5"
[package]
authors = ["Mario Carneiro <di.gama@gmail.com>"]
categories = ["command-line-utilities", "development-tools", "mathematics"]
description = "parsing tools for Metamath Zero's MMB binary format"
edition = "2018"
include = ["Cargo.toml", "src/**/*.rs", "../../README.md", "rustfmt.toml"]
keywords = ["theorem", "proving", "proof", "assistant"]
license = "CC0-1.0"
name = "mm0b_parser"
readme = "../../README.md"
repository = "https://github.com/digama0/mm0"
version = "0.1.4"