Computing and Software 734
Formalized Mathematics
Winter 2014
Instructor:
William M. Farmer
Guest Lecture
"System Modelling using Event-B" by Neeraj Kumar Singh
Student Presentations
"Isabelle/HOL" by Vasudha Kapil
"Introduction to Agda" by Yasmine Sharoda