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 432 2 13
Posts 3310 23 69
Users 430 2 8
Active Users 38 71
Likes 1107 5 41