Mechanization_update

The workshop and public symposium on mechanization of mathematics are at full capacity, and registration is now closed. Unfortunately we cannot accommodate unregistered walk-ins. Recordings of the symposium will be made available shortly after the even.