CliffsList
SF Lean Meetup
A weekly presentation and discussion about Lean, a programming language and theorem prover; math, computer science, AI, and related topics are welcome. Beginners are welcome.
AI summary · From the event listing
November 9, 2026 · 7 PM – 9 PM
Adi Baradwaj, Mox, San Francisco · Free ·
Keep your plans in one place. Free account.
A weekly presentation and discussion explores Lean, the programming language and theorem prover, alongside math, computer science, and AI.
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