Product
Aeneas
A tool that translates Rust programs into functional models in Lean, developed by Microsoft Research and other institutions. It is used for formal reasoning about and verification of real system code.
A tool that translates Rust programs into functional models in Lean, developed by Microsoft Research and other institutions. It is used for formal reasoning about and verification of real system code.