Contents

Formalising mathematics in Lean

Supervised by Prof. Kevin Buzzard

The ABC of PDEs

Supervised by Dr. Hamed Masaood

• Notes of Partial Differential Equations by Lawrence C. Evans, 2.4.1 Wave equation: Solution by spherical means (not finished yet) (pdf, tex).
• Huygens’ principle in \(2\) and \(3\) dimensions