Completely unofficial Lean repository for the undergraduate analysis M40002/M40010 course - View it on GitHub