Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI
Leonardo de Moura
Online too!

https://www.sciencehub.ucla.edu/science-hub-showcase-2024/