#rocq

Network: Libera.Chat

Modes:

Last Seen: 3 hours ago

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

#675

Rank

55

Users

You must be authenticated in order to use the IRC Driven Live Chat gateway