Course page for Type Theory & Coq 2014–2015
Registered course participant login:
- For questions about the course and the proof assistant, email freek (at sign) cs (one dot) ru (one dot) nl
- Note: the ProofWeb editor has recently (October 2014) been updated
to support all major browsers.
Please report any problems with the new code
to kbrink (at) cs (dot) ru (dot) nl.