crates.io : prusti-specs
Internal Prusti crate for parsing specifications
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/prusti-specs
Keywords:
prusti
, formal-verification
, rust
, verification
, viper
License: MPL-2.0
Latest release: almost 2 years ago
First release: almost 3 years ago
Dependent packages: 1
Downloads: 15,134 total
Stars: 1,662 on GitHub
Forks: 113 on GitHub
Total Commits: 6053
Committers: 73
Average commits per author: 82.918
Development Distribution Score (DDS): 0.587
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago