• Installation of Coq with an IDE