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 314 3 19
Posts 2566 7 142
Users 357 1 17
Active Users 35 83
Likes 805 1 49