#rocq

Network: Libera.Chat

Modes:

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

#675

Rank

Users

Topic History

Viewing 3 topic changes

#rocq

June 9, 2025 8 months, 3 weeks 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 11 months, 3 weeks 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, 1 month 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