Lean formalisation of parts of Imperial College London's 2023 Introduction to University Mathematics course - View it on GitHub