Past event

SF Lean Meetup

Name: SF Lean Meetup
Start: 2026-11-10T03:00:00.000Z
End: 2026-11-10T05:00:00.000Z
Location: San Francisco

Monday, November 9

7:00 – 9:00 PM

Mox

San Francisco, California, US

Registration on Luma

This event has ended.

View on Luma

About 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

Location

Mox, San Francisco, California, US

Open in Google Maps

Presented by

Valore Picks

Events from around the web that we think are worth your time: Luma, Partiful, Eventbrite and more. Registration happens…

Hosted by

SMSF Lean Meetup
RKRado Kirov
ABAdi Baradwaj

Social

Share this event

Discussion

The host has turned off comments for this event.

No comments yet

Start the conversation — hosts and guests will see it here.

Host your own eventFree on Valore