CliffsList
SF Lean Meetup
A weekly presentation and discussion about Lean, a programming language and theorem prover. Math, computer science and AI are also welcome; beginners are welcome.
AI summary · From the event listing
November 2, 2026 · 7 PM – 9 PM
Mox, San Francisco · Free ·
Keep your plans in one place. Free account.
A weekly presentation and discussion focuses on 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