SF Lean Meetup
Technology
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
See the rest of the description and register on Luma.
Share Event
Date & Time
Monday, July 13, 2026
7:00 PM - 9:00 PM
Location
Mox, 1680 Mission St, San Francisco, CA 94103, USA