Coq

You can find most of the information you will need about Coq on the Coq homepage.

Installing

There are binaries available for Windows and MacOS X. Linux users should probably be able to install Coq using their package manager.

-- WouterSwierstra - 27 Feb 2012