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

Talk details will be announced closer to the event.

Schedule: 3:00–3:30 PM introductions · 3:30–4:30 PM talk · 4:30–6:00 PM social

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.

Iris-Lean · Markus de Medeiros