Aeneas

https://github.com/aeneasverif/aeneas

Aeneas is a verification toolchain for Rust programs that translates Rust's MIR internal language to...

Tokens:72,157
Snippets:887
Trust Score:6.5
License:Apache-2.0
Update:1 day ago
Tokens:
Raw