Resources

 

Installing the Coq proof assistant

Make sure you have the Coq proof assistant working in the first week, best before the first lecture.  Directions for installation are at the Coq site.  Beginners are encouraged to use one of the binary installers (MacOs, Windows, Linux) and the accompanying CoqIDE.  You can get help with the installation in the office hours in the first week.

 

Literature

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.