💬 #rocq on Libera.​Chat

Channel Information

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

Current users

49

Peak users

50

Average users

49

Samples

10

First discovered

2026-10-30 14:45:32

Last observed

2 hr ago

Channel User History