change title sizers again

archiebrowne · Aug 22, 2023 · 93a0db5 · 93a0db5
1 parent 104c80f
commit 93a0db5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # presentations
 A repository for presentations I have given.
 
-## UROP ([pdf](https://github.com/archiebrowne/presentations/blob/main/UROP%20presentation/UROP2023.pdf))
+### UROP ([pdf](https://github.com/archiebrowne/presentations/blob/main/UROP%20presentation/UROP2023.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](https://web.math.ucsb.edu/~agboola/teaching/2021/fall/8/liebeck.pdf) by Prof. M. Liebeck in Lean.