"Formal Theorem Proving with Lean" featuring Alex Kontorovich – Wednesday, October 16 at 6:30 pm (in person)

This event has only 200 space(s) left. If you continue and register more than 200 people (including yourself ), the whole group will be wait listed. Or, you can reduce the number of people you are registering to 200 to avoid being put on the waiting list.

Formal Theorem Proving with Lean

featuring Alex Kontorovich

Wednesday, October 16
6:30 pm to 7:30 pm

(in person)

This is an in-person event at the National Museum of Mathematics, located at 225 Fifth Avenue, in Manhattan.

Please note that children under the age of 16 must be accompanied by a parent or guardian.  Each child and adult must be registered.

Please arrive 10 to 15 minutes before the event start time to check in and be seated.

*

Contact Information
Event Fee(s)
Registration *
Optional donation to help families in need
Total for this participant
Credit Card
*
*
*
 
Billing Name and Address
*
*
*
*
*
*
*
Your Registration Info