Questo repository contiene lo svolgimento di tutti gli esercizi assegnati durante il corso di Teoria dei Tipi dell'Università di Padova.
Il corso si è tenuto nel secondo semestre dell'Anno Accademico 2016/2017 della Laurea Magistrale in Informatica.
Gli esercizi sono organizzati per capitoli e numerati così come lo sono nelle note del corso. La maggior parte degli esercizi è stata svolta utilizzando il proof assistant Coq.