Exercises
Coq and Reference
- Coq Download: Coq (with CoqIDE) Version 8.3pl2 for Windows
- How to use CoqIDE: click here
- References: Tutorial Manual (Online HTML Version)
Exercises and Solutions
- Aug. 13 exercises solutions
- Aug. 14 exercises solutions
- Aug. 15 exercises solutions
- Aug. 16 exercises solutions
- Aug. 17 exercises solutions
- Aug. 18 exercises solutions
Environment
1. Labs (ROOM 308~309, 3rd floor of Mingde Building)
2. Operating System: Windows XP (Windows 7)
3. Coq Version: Coq 8.3pl2 with CoqIDE (Shortcut on the desktop or in Disk D:\)
4. Please find a usable computer in A01~A36, B01~B36, C01~C36 (Some computers, with a big NO on the LCD screen, are unable to be used).
5. Students who want to use their own laptops please find a position out of the abovementioned potions.
WiFi
Labs WiFi SSID: ssg.wireless2 (No Password)
Classroom WiFi SSID: USTC-SZ (password: userustc50)
Grades
Students of USTC (select this summer school as a course) please email to coqschool2011@gmail.com, sending your exercise files (*.v) before 17:30 everyday. The attached file should be named as follows, "StudentNumber_ChineseName_Date.rar"
Other things
1. Things not mentioned will be shown using projectors in ROOM 308~309.
2. Ask our teaching assistants if you have any questions.
