WorkFree
SF Lean Meetup
Monday 9 November 2026, 19:00Venue time (Los Angeles)
Monday 9 November 202619:00 · Venue time (Los Angeles)
MoxDirections
FreeTickets sold by luma.com
Book · Freevia 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
Zero To Demo By: NemulAI X Hack DistrictSat 7 Nov · 10:30am · 1885 Mission St
Founders Paintball - Shor x Corgi x RhoSat 7 Nov · 10:30am
Side Project Saturday for DesignersSat 7 Nov · 11am · Muddy Waters Coffee House
Women’s Golf Clinic: “Sunlit Swings” w/ Coffee & Arsicault Croissants ☀️🏌️♀️Sat 7 Nov · 11:30am · Presidio Golf Course
Grok Bot Build Day SF: Real-World AgentsSat 7 Nov · 12pm · 1050 Sansome St
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