Meetups for the Lean theorem prover and formal methods in New York City, at NYU Courant. Registration is required for NYU building access.

NYC Lean

Open session to work on Lean and meet other people in the community. Bring a laptop.

First time at NYC Lean? Please register with your real first and last name: NYU checks every visitor against a guest list. If you have registered for an NYC Lean meetup before, you should already be on the list.

Room 1302. NYU security checks a guest list at the front desk, so register before the deadline. If you get stuck downstairs, post in the NYC Lean Zulip thread and someone will come down.

Open Session