crates.io : kontroli
Type checking for the lambda-Pi calculus modulo rewriting
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/kontroli
Keywords:
verification
, dependent-types
, dedukti
, rewriting
, type-checking
, logic
, rust
, typechecker
License: GPL-3.0-only
Latest release: about 3 years ago
First release: almost 5 years ago
Dependent packages: 1
Downloads: 6,744 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: 6 days ago