Course page for Type Theory & Coq 2013–2014
Registered course participant login:
- For questions about the course and the proof assistant, email freek (at sign) cs (one dot) ru (one dot) nl
- Disclaimer. Please use Mozilla, Firefox, Galeon, Epiphany or Netscape >= 6.
With other browsers some or all features are missing.