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

http://coq.inria.fr/

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