• Indexed Information
  • Rank876
  • Users43
  • Last Indexed7 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 Description