Add features on The Coq Proof Assistant from Site:http://coq.inria.fr/