• Indexed Information
  • Rank803
  • Users45
  • Last Indexed19 minutes ago
Channel Topic
The Coq Proof Assistant (http://coq.inria.fr) - 8.16.1 is out: https://github.com/coq/coq/releases/tag/V8.16.1 - Wiki: https://coq.inria.fr/cocorico - Coq forum https://coq.discourse.group/

Channel Users for #coq

Channel user setting for #coq is not currently enabled