Lecture notes for the course Algorithms for decision support in Utrecht University.

Lecture notes for the course Automated Reasoning at Radboud University.

Lecture notes for the course Type theory and rocq at Radboud University.