AeneasVerif

AeneasVerif

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
533 Stars
54 Forks
533 Watchers

Repositories (2)

aeneas AeneasVerif/aeneas OCaml

A verification toolchain for Rust programs

350
charon AeneasVerif/charon Rust

Interface with the rustc compiler for the purpose of program verification

183