crates.io : mm0b_parser
parsing tools for Metamath Zero's MMB binary format
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/mm0b_parser
Keywords:
theorem
, assistant
, proof
, proving
License: CC0-1.0
Latest release: almost 4 years ago
First release: over 4 years ago
Dependent repositories: 1
Downloads: 6,908 total
Stars: 340 on GitHub
Forks: 44 on GitHub
Total Commits: 1258
Committers: 17
Average commits per author: 74.0
Development Distribution Score (DDS): 0.062
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago