GitHub repository: scholzhannah/LogicOfProofAssistants
Primary language: TeX
Description: These are the lecture notes for the course "Logic of Proof Assistants" taught in Bonn in the summer term 2025 by Prof. van Doorn.