Vasily Ilin, Dhruv Bhatia Friday, February 13 2026, 3:30 - 5pm Friday, February 20 2026, 3:30 - 5:30pm Friday, February 27 2026, 3:30 - 5:30pm Friday, March 6 2026, 3:30 - 5:30pm CMU B-006 2023 King Ln NE, Seattle, WA 98105 - Google Map A weekly meeting for people interested in Lean. We do hands-on exercises and small demos. Topics include:theorem proving in Leanmeta-programming in Leangeneral-purpose programming in Lean Event Type Seminars Student Activities Event Subcalendar Math AI Seminar Related People Vasily Ilin Dhruv Bhatia