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