SF Lean Meetup
📅
November 16, 2026
🕐
7:00 PM PT
📍
👥
6 attending
🎟️
Free
About This Event
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
Hosted by
Rado Kirov
Adi Baradwaj
We email you a private link showing how many people find this event through Mimetic. Tick the box if you are open to sponsors for events like this one and we will get in touch when there is interest. Anything from there is yours to decide.
Sent. Check your inbox for the analytics link.Thanks. That address does not match the hosts listed here, so a person will check it and send the link if it is yours, usually within a day. Noted that you are open to sponsors.
AI
Meetup
Register for This Event
47 more SF AI events this week
Registration opened in a new tab.
Want the other 47 SF AI events this week? One email, Monday morning.
Unsubscribe anytime.
Tell us who you are and what you sell. A person at Mimetic reads it and gets back to you by email. Nothing is charged here and we do not sell attendee data.
Thanks. We will get back to you by email.
Free Growth Analysis
Get a free growth analysis for your company
See how your website, messaging, and go-to-market strategy stack up, in minutes.
Get My Free AnalysisMore SF events like this
Fireworks: Deploy Buildathon with Microsoft & NVIDIA
Mon, Nov 2 · 9:00 AM PT
San Francisco, CA
OSA Con 2026 - The Anti-Hype Conference for Open Source Analytics and AI
Mon, Nov 2 · 9:30 AM PT
AWS Builder Loft, 525 Market St, Courtyard Entrance, 525 Market St, San Francisco, CA 94105, USA
1035 attending
High Signal
Leading finance in the AI era
Mon, Nov 2 · 2:30 PM PT
San Francisco, CA, USA
The SF Table: Founders Dinner 11.02.2026
Mon, Nov 2 · 6:00 PM PT
TBD