Trimester in Prospects of Formal Mathematics
Hausdorff Institute in Mathematics (HIM), Bonn, 2024
You can watch the video recording of most talks:
School on Formal Mathematics, May 13 - 17, 2024
Workshop: Formalization of Mathematics, June 17 - 21, 2024
Workshop: Bridging between informal and formal, July 8 - 12, 2024
Workshop: Libraries of Digital Math, July 29 - August 2, 2024
And here are the recording my talks: