Honors Thesis: Eckmann-Hilton and the Hopf Fibration in Homotopy Type Theory Published in CU Scholar, 2023My honors thesis
