• Coq Topic Area Working Groups
• Format and participation
• Groups: