#rocq
Network:
Libera.Chat
Modes:
Last Seen:
9 minutes 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
Topic History
Viewing 3 topic changes
#rocq
June 9, 2025
10 months, 1 week ago
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
March 12, 2025
1 year, 1 month ago
The Rocq Prover (https://rocq-prover.org/) - 9.0.0 is out: https://rocq-prover.org/releases/9.0 - Zulip: https://coq.zulipchat.com - Discourse: https://coq.discourse.group/ - Wiki: https://github.com/coq/coq/wiki
February 5, 2025
1 year, 2 months ago
The Rocq Prover (https://rocq-prover.org/) - 8.20.1 is out: https://rocq-prover.org/releases/8.20.1 - Zulip: https://coq.zulipchat.com - Discorse: https://coq.discourse.group/ - Wiki: https://github.com/coq/coq/wiki