These are the lecture notes for the course "Logic of Proof Assistants" taught in Bonn in the summer term 2025 by Prof. van Doorn.