New York City · Formal Methods
NYC Lean
Proving things with Lean, in person.
Where math and code prove each other.
NYC Lean is a community of mathematicians, programmers, and curious people who meet in the city to learn the Lean theorem prover, formalize mathematics, verify software, and build things together. No experience required.
Upcoming
Get in touch
Come say hello.
The best place to reach us, ask questions, or find the next meetup is the NYC thread on the Lean Zulip. Everyone's welcome.