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.