crates.io : hax-lib
Hax-specific helpers for Rust programs
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/hax-lib
Keywords:
formal-verification
, rust
License: Apache-2.0
Latest release: 6 days ago
First release: 10 months ago
Downloads: 94,996 total
Stars: 280 on GitHub
Forks: 31 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago
Loading...
Readme
Loading...