Coqについて、ここに記述してください。

http://coq.inria.fr/
   http://coq.inria.fr/documentation


http://proofgeneral.inf.ed.ac.uk/