CSCI1951-D
Projective Geometry Through Proof Assistants
- Instructor(s):
-
- John (Spike) Hughes
- Course Home Page:
- https://piazza.com/class/k5mvcffle465f0
Location: | CIT 447 |
Meeting Time: | Tu/Th 10:30-11:50 AM |
Exam Group: | none |
Semester: | 2 (Spring) |
Offered This Year? | Yes |
When Offered? | Occasionally |
Description
This course is just what it says on the tin: a chance to learn some projective geometry while proving everything using the Isabelle/HOL proof assistant. Because there's no TA, everything about the course will be done using a Piazza sit.