• Indexed Information
  • Rank857
  • Users43
  • Last Indexed5 hours ago
Channel Topic
The Rocq Prover (https://rocq-prover.org/) - 9.0.0 is out: https://rocq-prover.org/releases/9.0 - Zulip: https://coq.zulipchat.com - Discourse: https://coq.discourse.group/ - Wiki: https://github.com/coq/coq/wiki

Channel logging for #rocq is not currently enabled