← Libera.Chat

#rocq

Live

on Libera.Chat · 30-day trend 0.0%

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

People now
49
All-time peak
51
First tracked
Last seen
People in #rocq
24h 7d 30d 1y 10y All
Last 24 hours · data begins 28 Jul 02:20
48
48
49
49
00:5006:5012:5018:50now