Cosmetic
Opam to install the Math Classes library
Opam to install the CoRN library