Please enable JavaScript.
Coggle requires JavaScript to display documents.
Web - COQ - Coggle Diagram
Web - COQ
What is Coq?
More about Coq
Handling Proofs and programes
A short introduction to Coq
The Coq bundle
Get Coq
Credits
How to get it?
Get Coq 8.12.0
Try JsCoq
User interfaces
Edit-support Packages
Proof General
Coqtail
Jupyter kernel
VsCoq
Standalone interfaces
CoqIIde
JsCoq
Experimental / discontinued interfaces
How to contribute?
Bug tracker
Contribution guide
Coq Consortium
A pool of resources
Membership
Donation
Support services
Documentation
Reference Manual
Standard Library
All documents
Reference documentation
Reference Manual
Standard LIbrary
Books and long tutorials
CoqArt
SF
CPDT
MCB
Shorter tutorials and videos
Mike Nahas"s Tutorial
Coq in a Hurry (Hal-CCSD)
Other documentation
FAQ
Cocorico - Wiki
Codewars
The coq community
Coq Package Index
Index of Coq Packages
Submit a new package
Browse the index
Discourse forum
Zulip Chat
Community
Communication Channels
Discourse forum
Zulip Chat
TWITTER ACCOUNT
=> CoqLang => The Coq proof assistant => janvier 2020
Package Ecosystem
Coq Package Index
Coq's CI
Coq-Community
Related Tools
Representation of binders and termination proofs
LNgen
Hybrid
Gmeta
Rainbow
Browsing, searching and documentation tools
Cocorico
Software verification
Why
Krakatoa Jessie
Concoqtion
Ynot
Ott
Automated Manipulation of Coq developments
Coq-Tools
Coq-scripts/timing
Events
Working groups
CUDW
Coq Workshops
CoqPL