crates.io : cvlr-soroban-derive
Proc-macros for cvlr-soroban
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/cvlr-soroban-derive
Keywords:
assert
, certora
, formal-methods
, soroban
, verification
License: MIT
Latest release: 4 months ago
First release: 4 months ago
Downloads: 524 total
Stars: 0 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 7 days ago
Loading...
Readme
Loading...