- Indexed Information
- Rank857
- Users43
- Last Indexed6 hours 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
Topic History (2)
| Topic | First Indexed |
|---|---|
| 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 | 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 | 2 months, 1 week ago |