Pinned Loading

1. Sphere-Packing-Lean Sphere-Packing-Lean Public

   A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

   Lean 60 30

2. M4R_Thesis M4R_Thesis Public

   My Master's Thesis

   TeX 1

3. General-Document-Template-2025 General-Document-Template-2025 Public template

   A general LaTeX document template that I use all the time.

   TeX

4. Lecture-Notes-Template-2026 Lecture-Notes-Template-2026 Public template

   A template for lecture notes that I usually follow.

   TeX 1

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   A fork of the Lean 4 mathematics library

   Lean