Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : mm0_util
MM0/MM1 language utilities
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/mm0_util
Keywords: proving, proof, assistant, theorem
License: CC0-1.0
Latest release: over 2 years ago
First release: about 3 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 3,078 total
Stars: 294 on GitHub
Forks: 40 on GitHub
Total Commits: 1222
Committers: 16
Average commits per author: 76.375
Development Distribution Score (DDS): 0.056
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 16 days ago