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 Last 7 Last 30
Topics 401 4 14
Posts 3102 12 70
Users 412 3 10
Active Users 36 88
Likes 1030 7 30