Lean 4 for Program Verification in the Age of AI
Leonardo de Moura — Marktoberdorf Summer School, Herrsching am Ammersee, August 2026
- Introduction to Lean and Dependent Type Theory
- Programming and Proving in Lean
- Proof Automation and AI
- Software Verification in Lean