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