#rocq

Network: Libera.Chat

Modes:

Last Seen: 2 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

#682

Rank

52

Users

User Activity

About #rocq

No description available for this channel.