- ...class
- We used to do a writeup of a formal proof of
correctness for one variant of Euclid's Algorithm, but the students
didn't have the prerequisites for it, and the math proof assignment
took up too much of the quarter-the assignment has since been moved
to a grad class, and may even have died out there.