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 Dan Kasper
  Password: