• Coq installation
• Coq official resources
• Coq informal resources
• Coq books and tutorials
• Coq development
• Coq community
• Coq libraries
• Coq plugins and tools
• Coq's logic
• Coq Wiki