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 3 - Rocq Programming II
References
5
Resources
References
4
Lecture 3 - Rocq Programming II
5
Resources