Coq installation

You need to install Coq and either CoqIDE (recommended for beginners) or Proof General (recommended for emacs users).

Coq official resources

Coq tutorials

Coq development

Coq community

Pointers to existing projects involving Coq.

Coq libraries

A non-exhaustive list of Coq libraries that are being used by other people than the developers.

(to be completed)

Coq plugins and tools

(section to be updated)

Coq's logic

Coq Wiki

Cocorico: Contents (last edited 07-05-2017 22:10:16 by HugoHerbelin)