metamath-rs
A library manipulating Metamath databases, including a parallel and incremental verifier for Metamath databases
Activity
- Latest release
- 3w ago
- Total releases
- 2
- Cadence
- ~2.5 years
- Last 12 months
- 1
Reach
- Downloads
- 1.6k
Details
- License
- MIT OR Apache-2.0
- First release
- Apr 15, 2024
Releases