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 159 3 18
Posts 1298 25 84
Users 212 3 14
Active Users 49 73
Likes 403 9 42