• Indexed Information
  • Rank685
  • Users53
  • Last Indexed3 days ago
Channel Topic
The Rocq Prover (https://rocq-prover.org/) - 9.0.0 is out: https://rocq-prover.org/releases/9.0 - Zulip: https://rocq-prover.zulipchat.com/ - Discourse: https://discourse.rocq-prover.org/ - Wiki: https://github.com/rocq-prover/rocq/wiki
You must be authenticated in order to use the IRC Driven Live Chat gateway