crates.io : metamath-rs
A library manipulating Metamath databases, including a parallel and incremental verifier for Metamath databases
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/metamath-rs
Keywords:
proving
, proof
, assistant
, theorem
, verifier
License: MIT,Apache-2.0
Latest release: over 1 year ago
First release: over 1 year ago
Downloads: 1,212 total
Stars: 33 on GitHub
Forks: 11 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago
Loading...
Readme
Loading...