Cover Image for SF Formal Math with Lean

Presented by

Mox is a gathering place for startups & EAs seeking to improve the world; AI & AI safety labs; indie researchers and builders; writers, artists & masters of craft!

Tech

SF Formal Math with Lean

Name: SF Formal Math with Lean
Start: 2026-05-25T20:00:00.000-07:00
End: 2026-05-25T21:00:00.000-07:00
Location: San Francisco, CA

Mox

Register to See Address

San Francisco, CA

Welcome! To join the event, please register below.

You will be asked to verify token ownership with your wallet.

About Event

Weekly gathering for anyone interested in formalized mathematics, theorem proving, or proof assistants—focused on Lean. No lectures or talks, just collaborative project work. Beginners welcome!

Discord Server

(Hosted by Rado Kirov)

Location

Please register to see the exact location of this event.

San Francisco, CA

Presented by

Mox

Mox is a gathering place for startups & EAs seeking to improve the world; AI & AI safety labs; indie researchers and builders; writers, artists & masters of craft!

Tech