Computing and Software 734
Formalized Mathematics
Winter 2014

Instructor: William M. Farmer


Assignments