频道信息
- 频道
- #rocq
- 网络
- Libera
- 当前用户
- 50
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
显示原始主题
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
出现的服务器
统计图表
未找到频道。
统计历史
|
Date
|
Users
|
Topic |
|---|---|---|
| 2026-11-05 | 50 |
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
|
| 2026-11-04 | 50 |
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
|
| 2026-11-03 | 48 |
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
|
| 2026-11-02 | 50 |
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
|
| 2026-11-01 | 50 |
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
|
| 2026-10-31 | 50 |
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
|
| 2026-10-30 | 51 |
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
|
| 2026-10-27 | 51 |
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
|
| 2026-10-26 | 51 |
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
|
| 2026-10-24 | 48 |
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
|
未找到频道。