## A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Daniel Licata

Carnegie Mellon University; Member, School of Mathematics

November 26, 2012

This talk is designed for a general mathematical audience; no prior knowledge of type theory is presumed.