Computing and Software 734
Formalized Mathematics
Winter 2008

Instructor: William M. Farmer

Presentations

• Presentation 1 (due: 3-MAR-2008; revised: 4-FEB-2008)
• Presentation 2 (due: 31-MAR-2008; revised: 4-FEB-2008)