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 24 hours Last 7 days Last 30 days
Topics 771 0 1 7
Posts 5224 0 1 19
Sign-Ups 571 0 0 4
Active Users 1 18 47
Likes 1618 0 0 5