scholzhannah/LogicOfProofAssistants

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

语言：TeX · GitHub 星标：6 · Fork：1

在 GitHub 上查看原仓库