# Mathematics 8

- UCL MATH0109 Theorem Proving in Lean Notes
Mar 9, 2024 - Riesz's $\ell^p$ Representation Theorem
Feb 24, 2024 - Vector Identities
Nov 7, 2023 - Erdös–Stone Theorem
Nov 3, 2023 - LMS Summer School
Jul 28, 2023 - Conway Look-and-say Sequence
Jul 24, 2023 - The Lovász Local Lemma
Jul 23, 2023 - Splitting Graphs
Jul 21, 2023