Skip to content

archiebrowne/presentations

Repository files navigation

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.

About

A repository for presentations I have given

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages