This Fall 2020 I will be teaching a new graduate course on (Homotopy) Type Theory and computer assisted Mathematics