Petar Vukmirovic Promotor: prof.dr. W. J. Fokkink (VU) Co-promotors: dr. J. C. Blanchette (VU) and prof.dr. S. Schulz (Technische Universität Braunschweig, Germany) Vrije Universiteit Amsterdam Date: 18 October 2022 Thesis: PDF A recording of the defense can be found here. Summary In the last decades, proof assistants have been immeasurably …