CliffsList
SF Lean Meetup
A weekly presentation and discussion about Lean, described as a programming language and theorem prover; math, computer science, and AI are also welcome, as are beginners.
AI summary · From the event listing
November 16, 2026 · 7 PM – 9 PM
Adi Baradwaj, Mox, San Francisco · Free ·
Keep your plans in one place. Free account.
The weekly meetup pairs a presentation with discussion of Lean, a programming language and theorem prover; beginners are welcome.
AI · From the event listing
Organizer’s description
The SF Lean meetup: Weekly presentation and discussion about Lean, the programming language and theorem prover. Math, CS, AI and their mix all welcome. Beginners welcome!Discord Server
Mox, 1680 Mission St, San Francisco, CA 94103, USA
Mission District
Hosted by Rado Kirov
More like this