Work with Mathlib, a growing online library that supports the formalisation of mathematical ideas During this course, you’ll explore advanced topics in Pure Mathematics and strengthen your skills in ...