GitHub repository: JasonKYi/M4000x_LEAN_formalisation
Primary language: Lean
Description: Formalising lecture notes from 1st year Imperial Mathematics course.