Sign in Sign up
cargo

issy

An Isabelle-like Boolean frontend for Vav-admitted Rust

cargo View on Cargo

Activity

Latest release
1mo ago
Total releases
1
Cadence
—
Last 12 months
1

Details

License
MIT OR Apache-2.0
First release
Sep 27, 2026
Releases
Version Released
0.0.1 initial