• Coq (quasi) weekly Developer Calls
• Guidelines
• Joining the call
• List of Calls: