🚀 Excited to share a new blog post on Amazon Science: "How the Lean Language Brings Math to Coding and Coding to Math"! This post is an adaptation of the keynote I delivered at the International Conference on Computer Aided Verification (CAV) in July 2024. It explores how the Lean language is bridging the gap between formal mathematics and software development, offering new possibilities for both fields. https://lnkd.in/grzRHDHg
I am extremely excited with Lean and the amazing progress in its ecosystem. I am now giving two courses using Lean at the School of Applied Mathematics at FGV.
Will the keynote video become available online?
Prof. Dr. Julio Cesar certamente do seu interesse!
Senior Principal Applied Scientist at AWS, and Chief Architect at Lean FRO (non-profit)
3moThe slide deck is here: https://leodemoura.github.io/files/CAV2024.pdf