crates.io : prusti-contracts-proc-macros
Internal `proc-macro` Prusti crate
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/prusti-contracts-proc-macros
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
Dependent repositories: 2
Downloads: 16,681 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