Coq

DTP

You can find most of the information you will need about Coq on the [[http://coq.inria.fr/][Coq homepage]].

---++ Installing

There are [[http://coq.inria.fr/download][binaries available]] for Windows and !MacOS X. Linux users should probably be able to install Coq using their package manager.

-- Main.WouterSwierstra - 27 Feb 2012