Formalize Imperial College London's math module.
Just for practicing how to do it.
Module that I'm actively working on
Module that I want to work on