About Coq

The Coq Discourse is meant to be a standard place to discuss questions about the Coq system and related topics.

Our Admins

Our Moderators

Site Statistics

  All time 24 hours 7 days 30 days
Topics 1 3 12
Posts 2 8 49
Sign-ups 1 2 8
Active users 7 29 56
Likes 0 1 6