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