Pinned post
I was very happy to give a talk at Galois to present the latest progress on Aeneas, our framework to verify Rust programs. On the menu: latest features, future extensions, ongoing verification effort, and most of all demo of the Lean backend!
galois.com/blog/2023/10/a…
www.galois.com Aeneas: Rust Verification by Functional Translation galois.com/blog/2023/10/a…
