Top 6.2% forks on crates.io
crates.io : verus_builtin_macros
Verus Builtin Macros: Various macros used by Verus
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/verus_builtin_macros
Keywords:
verification
, verified-rust
, verus
License: MIT
Latest release: about 1 month ago
First release: about 1 month ago
Downloads: 534 total
Stars: 2,022 on GitHub
Forks: 121 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
Loading...
Readme
Loading...