Coq and CTL
Slides of the course
In order to play with Coq
Coq files
Exercises
- Exercise on minimal propositional logic
- Exercise on propositional intuitionist logic
- Exercise on predicate logic
- Exercise on NL Lambek calculus
Solutions of the exercises
- Don't click here!
- Don't click here!
- Don't click here!
- Don't click here!
- Don't click here! (Lambek calculus with
structural rules)