References
SoSe 26 Type Theory & Logic & Functional Programming Notes
Preface
Logic
1
Lecture 1 - Propositional Logic: Syntax
2
Lecture 2 - Height and Subformulas
3
Lecture 3: Basics of Rocq
4
Lecture 4 - Rocq Programming II
5
Lecture 5 / 6 - Semantics of PL
References
6
Resources
References
5
Lecture 5 / 6 - Semantics of PL
6
Resources