crates.io : prusti-std
External specifications for items in std for Prusti
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/prusti-std
Keywords:
contracts
, specifications
, formal
, verification
, prusti
, formal-verification
, rust
, viper
License: MPL-2.0
Latest release: almost 2 years ago
First release: almost 3 years ago
Downloads: 11,239 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