crates.io : dedukti-parse
Parser for the Dedukti file format
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/dedukti-parse
Keywords:
dependent-types
, dedukti
, rewriting
, logic
, rust
, typechecker
License: GPL-3.0-only
Latest release: about 3 years ago
First release: about 4 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 6,416 total
Stars: 21 on GitHub
Forks: 4 on GitHub
Total Commits: 742
Committers: 3
Average commits per author: 247.333
Development Distribution Score (DDS): 0.357
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 7 days ago