New York City · Formal Methods

NYC Lean

Proving things with Lean, in person.

read on ↓

Upcoming

See the full calendar ↗︎

Resources

Get involved.

Chat with the community on the NYC thread of the Lean Zulip, add our meetup calendar, sign up to give a talk, or dig through our shared materials.

Lean Zulip ↗︎ Calendar ↗︎ Give a talk ↗︎ Materials ↗︎

NYC Lean members gathered at the May 31, 2026 meetup at The Pearl House — Left to right: Richard Davison, Justin Asher, Celio Boulay, Markus de Medeiros, Loren Abdulezer, Gregory Wickham, Alex Nguyen, Kiran Gopinathan, Jack McCarthy.