GitHub repository: z-murray/honours-project-constructive-analysis-in-agda
Primary language: Agda
Description: My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie University in April 2022.