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 |