SF Formal Math with Lean
- Date
- 2026-06-02
- Location
- San Francisco, CA, USA
- Host
- Mox
About this event
This event is organized by Mox, taking place in San Francisco, USA on 2026-06-02. Topics covered include: other, community, networking, meetup, social.