The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.

WWW: http://coq.inria.fr/

Maintainer: Yozo Toda <yozo@v007.vaio.ne.jp>
