Coq and CTL



Slides of the course

In order to play with Coq

Coq files


Exercises

  1. Exercise on minimal propositional logic
  2. Exercise on propositional intuitionist logic
  3. Exercise on predicate logic
  4. Exercise on NL Lambek calculus

Solutions of the exercises

  1. Don't click here!
  2. Don't click here!
  3. Don't click here!
  4. Don't click here!
  5. Don't click here! (Lambek calculus with structural rules)