In this course, students will learn how to write a number of basic mathematical theorems and construct their proofs using a formalized language which can be checked for logical correctness with a mechanized (computerized) proof checker. Please see the syllabus for detailed course information.

Credit for this course is given as Applicable Mathematics and Informatics (AMI).