Machine-Checked Mathematics


2 - 4 March 2022

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

In this workshop expert mathematical users from different proof assistant communities will gather for a short, informal, virtual meeting. This will happen during half-day sessions on 2, 3, and 4 March (afternoons in CET). The focus will be on community building, discussion, and collaboration; formal academic talks will be kept to a minimum.

Registration for this event closed on Wednesday 23 February. See also:


Follow us on:

Niels Bohrweg 1 & 2

2333 CA Leiden

The Netherlands

+31 71 527 5400