Machine-Checked Mathematics

28 February - 4 March 2022

Venue: Lorentz Center@Oort

If you are invited or already registered for this workshop, you have received login details by email.



Follow us on:

Niels Bohrweg 1 & 2

2333 CA Leiden

The Netherlands

+31 71 527 5400