Elective Module 13: Interactive Theorem Proving (10 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module are familiar with the verification of specifications. They know first- and higher-order logics and can carry out structured proofs in those logics and verify them in interactive theorem provers.
Go to the superordinate section
Interactive Theorem Proving (VO / 2h / 4 ECTS-AP)
Cezary Kaliszyk
Details of this course
Interactive Theorem Proving (PS / 3h / 6 ECTS-AP)
Vincent van Oostrom
Details of this course

  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).