A verification toolchain for Rust programs
OCaml Updated about 2 months ago 1 commits 953 stars
prism-dev|Mirror: AeneasVerif/aeneas (⭐953)
about 2 months agoAbout
A verification toolchain for Rust programs
Readme
953 stars
106 forks
A verification toolchain for Rust programs
A verification toolchain for Rust programs