AeneasVerif

AeneasVerif

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
1k Stars
103 Forks
1k Watchers

Repositories (2)

aeneas AeneasVerif/aeneas OCaml

A verification toolchain for Rust programs

709
charon AeneasVerif/charon Rust

Analyze Rust crates without touching compiler internals

323