#rocq
Network:
Libera.Chat
Modes:
Last Seen:
an hour 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
#687
Rank
52
Users
Channel History
Timeline of important events for #rocq
No History Yet
This channel hasn't documented any historical events yet.