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