At a Glance
| Applications | Program Prover Rust Verifier |
| Developers | Inria Microsoft Research |
| Inputs | Rust |
| Interfaces | CLI |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Description
Aeneas (pronunced [Ay-nay-as]) is a verification toolchain for Rust programs.