Course page for Type Theory & Coq 2018–2019
Registered course participant login:
Username:
Password:
For questions about the course and the proof assistant, email
freek (at sign) cs (one dot) ru (one dot) nl
Teacher login:
Username:
Freek
Kasper
Password: