Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 395 Bytes

README.md

File metadata and controls

6 lines (4 loc) · 395 Bytes

presentations

A repository for presentations I have given.

UROP (pdf)

Given at the end of my 2023 UROP supervised by Prof. K. Buzzard as a summary of my work. Formalising questions from this book by Prof. M. Liebeck in Lean.