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