New York City · Formal Methods
NYC Lean
Proving things with Lean, in person.
Who we are.
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.
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.
