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 132 6 17
Posts 1154 30 101
Users 190 5 12
Active Users 43 67
Likes 331 12 45