Cocorico Main Page (V2)

High-Level Advice and Guidance

Community

Language Constructs and Built-In Tactics

Some Useful Custom Tactics and Notation

Formal Developments and Coq Pearls

Proof-General and CoqIDE Tips

Meta

Cocorico Main Page (V1)

This site is a WikiWikiWeb dedicated to the Coq proof assistant.

The Coq Community

Documentation

Formalisations

Software

The newbie zone

Books and Manuals

Standard Library

Interfaces

Coq-club on Nabble

Tutorials

Formalized in Coq...

Software Verification

irc channel

Frequently asked questions

Coq pearls

Tactic plugins

Coq in the classroom

Logical foundations

Tactic pearls

Documentation tools

Misc. documentation

Project ideas

About Coq code source

Coq's style

About This Wiki

OldFront (last edited 11-04-2012 15:09:16 by ArthurCharguéraud)

Cocorico!WikiLicense