NYC Lean

Exploring mathematics and verified programming through Lean 4

About us.

We are a local group of mathematicians, computer scientists, and Lean enthusiasts in the New York City area. We meet once per week on Sundays to discuss the Lean theorem prover and its applications, such as verifying software. Some weeks we have people give talks on their work. Other weeks we simply bring our laptops and chat and work together. Everyone is welcome to join. The best place to get in touch is on the Zulip chat. Learn more about NYC Lean Group Inc.

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.

See the full calendar ↗︎

Get involved.

Chat with the community on the NYC thread of the Lean Zulip or add our meetup calendar.

Want to give a talk? Email justin@lean.nyc or reach out on the Zulip chat.

Lean Zulip ↗︎ Add Calendar ↗︎