Sign in Sign up
cargo

hax-types

A Rust verification tool

cargo View on Cargo github View on Github

Activity

Latest release
1w ago
Total releases
16
Cadence
~40 days
Last 12 months
6

Reach

Downloads
8.3k
Stars
479

Details

License
Apache-2.0
First release
Oct 07, 2024
Releases
Version Released
0.4.0 minor
0.4.0-rc.2 pre
0.4.0-rc.1 pre
0.3.7 unknown
0.3.6 unknown
0.3.5 unknown
0.3.4 unknown
0.3.3 unknown
0.3.2 unknown
0.3.1 unknown
0.3.0 unknown
0.2.0 unknown
0.1.0 unknown
0.1.0-rc.1 unknown
0.1.0-alpha.1 unknown
0.1.0-alpha unknown