SF Formal Math with Lean

Date

2026-06-02

Location

San Francisco, CA, USA

Host

Mox

Speakers

• hooyoung chung
• Leosha Trushin

Topics

• other
• community
• networking
• meetup
• social

Registration

Register / Get tickets