|Termine und Ort||Mo, 16:15-17:45; Th, 14:15-15:45|
|Updates and uploads||StudOn page|
|Umfang||4 SWS – 7,5 ECTS|
|Zielgruppe||those mentioned by UnivIS, let me know if you’re not covered|
The tool we are going to use throughout the course is Coq. Ideally, go for the latest stable release (8.13.1 before the beginning of the semester) or the alpha/beta development version if you’re adventurous. You can install using either:
the Coq webpage itself, but decide if you want it bundled with CoqIDE
whichever port system you’re using on your OS
I will tell you more during the first lecture about the choice of possible IDEs.
Please register via the StudOn registration link. If you’re already a member, this is the regular StudOn page, which is going to be used to post proof scripts, homework and additional lecture materials as we progress. Hence, the role of this page ends (possible updates in future if lecture hours are going to change).