Welcome to Cocorico!, the Coq Wiki

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

Cocorico!FrontPage (last edited 14-05-2008 11:05:04 by JeanMarcNotin)

Cocorico!WikiLicense