CliffsList
Martin Allen at the SF Lean Meetup
The SF Lean meetup hosts a weekly presentation and discussion about the Lean programming language and theorem prover. Math, computer science, and AI are also welcome, and beginners are welcome.
AI summary · From the event listing
November 23, 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, a programming language and theorem prover, with math, computer science, and AI also 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