在这里可以下载课程讲义。
-
-
2025/02/25
Basics: Functional Programming in Coq
[幻灯片]
[作业]
-
2025/02/27
Induction: Proof by Induction
[幻灯片]
Lists: Working with Structured Data
[幻灯片]
[作业]
-
2025/03/06
Poly: Polymorphism and Higher-Order Functions
[幻灯片]
[作业]
-
-
-
2025/03/20
Logic: Logic in Coq
[幻灯片]
ProofObjects: The Curry-Howard Correspondence
[幻灯片]
[作业]
-
2025/03/25
IndProp: Inductively Defined Propositions
[幻灯片]
[作业]
-
2025/03/27
IndProp: Inductively Defined Propositions
[幻灯片]
IndPrinciples: Induction Principles
[幻灯片]
[作业]