Skip to Content
Discover Events
Sign In
Follow
Follow
NYC Lean
Meetups for the Lean theorem prover and formal methods in New York City, at NYU Courant. Registration is required for NYU building access.
Submit Event
November
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
Upcoming
Past
Events
Submit Event
You have 0 events pending approval by the calendar admin.
They will show up on the schedule once approved
Open Session
By Justin Asher
Warren Weaver Hall (CIWW)
Iris-Lean · Markus de Medeiros
By Justin Asher
Warren Weaver Hall (CIWW)
Leonardo de Moura (title TBA)
By Justin Asher
Warren Weaver Hall (CIWW)
+19
Open Session
By Justin Asher
Warren Weaver Hall (CIWW)
Autoformalization: A Tutorial for Everyone · Marcus Min
By Justin Asher
Warren Weaver Hall (CIWW)
Open Session
By Justin Asher
Warren Weaver Hall (CIWW)
Open Session
By Justin Asher
Warren Weaver Hall (CIWW)
