- 📣 This week, #LeanLang Chief Architect Leonardo de Moura will deliver a keynote in Seoul at #PLDI2025 titled "Lean: Machine-Checked Mathematics and Verified Programming, Past and Future." #pldi #formalmethods #programminglanguages #leanproverJun 17, 2025 23:12
- We're grateful to the PLDI organizers for this opportunity to share Lean's journey with such a vibrant community. For those attending or interested in formal verification, this promises to be an insightful discussion about where our field is headed!
