crates.io : contracts-try
Design-by-contract attributes
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/contracts-try
Keywords:
design-by-contract
, invariant
, postcondition
, precondition
, verification
License: MPL-2.0
Latest release: 10 months ago
First release: 10 months ago
Downloads: 5,498 total
Stars: 0 on codeberg.org
Forks: 0 on codeberg.org
See more repository details: repos.ecosyste.ms
Last synced: 30 days ago
Loading...
Readme
Loading...