Interactive theorem proving summer students: fundamental groups and Gauss' lemma

Aymon Wuolanne and Aditya Agarwal will report on their summer work on interactive theorem proving, respectively describing their attempts to define the fundamental group of a topological space, and proving Gauss's lemma (on irreducibility of polynomials).