SF Lean Meetup

Name: SF Lean Meetup
Start: 2026-11-09T19:00:00-08:00
End: 2026-11-09T21:00:00-08:00
Location: Mox

When: Monday, November 9, 7 PM to 9 PM
Where: Mox, 1680 Mission St, San Francisco, CA 94103, USA
Price: Free
Source fetched: Thu, Oct 29

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

See the original listing on lu.ma Open in the SF Events calendar

More at this venue

Wed, Nov 4 EA SF Discussion Salon: Cause Prioritization
Sat, Nov 7 Mathematical Sociodynamics reading group (Psychohistory but real)
Thu, Nov 12 Talent Show: Has Mox Got Talent? 🌟

SF Lean Meetup

More at this venue

More like this