• Teaching Coq
• Short courses for working researchers
• Using Coq as a teaching tool
• Coq as a teaching tool in computer science
• Coq as a teaching tool in mathematics
• Other resources
• Bibliography