WorkFree
SF Lean Meetup
Monday 16 November 2026, 19:00Venue time (Los Angeles)
Monday 16 November 202619:00 · Venue time (Los Angeles)
MoxDirections
FreeTickets sold by luma.com
Add to calendar
Downloads an .ics file · Times are in America/Los_Angeles · Google Calendar
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
More like this near San Francisco
Sunset Basketball & City Views 🌅🏀Sat 14 Nov · 4pm · George Sterling Park
Badminton 6 | TinyFish x VorfluxSat 14 Nov · 4pm
Badminton 6 | TinyFish x Mireye x VorfluxSat 14 Nov · 4pm
Ducati’s 100th Anniversary: Celebration at the Italian Consulate in SFSat 14 Nov · 5pm · 2151 Broadway
The California Peptide Club VSat 14 Nov · 5pm · 200 Palo Alto Ave
Ask Palaner
Going to SF Lean Meetup? Ask me anything about it.
I read the organiser's pages and answer in a few seconds.
Answers are AI-generated · Privacy