[zh] Rocq 中文
布告 本版可发布中文广告，如招生招聘启事、活动及征稿通告等。 翻译 本版可讨论术语、句式等翻译相关话题。 教程 本版用于发布中文Rocq教程，以供学习者参考。
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
使用指南：通过电子邮件访问论坛
如网页访问受限，可通过电子邮件访问Rocq论坛各个版块： 摘译： 检查用户设置，启用电子邮件功能； 欲评论某主题，回复通知邮件即可； 可向 rocq+zh@discoursemail.com 发送邮件，以在本版创建主题。 |
|
0 | 911 | July 28, 2020 |
| Rocq 中文版块说明 |
|
0 | 1172 | February 25, 2019 |
| 如何对含量词的命题进行代换操作？ |
|
2 | 349 | December 11, 2023 |
| 术语：applicative functor |
|
5 | 1566 | November 2, 2022 |
| 2022年Coq社区问卷调查 |
|
0 | 974 | January 29, 2022 |
| 关于存在变量的提取问题 |
|
2 | 888 | July 4, 2021 |
| 如何解决模式匹配中类型的惰性求值 |
|
3 | 1012 | May 4, 2021 |
| 鉴于国内访问Coq中文论坛非常慢…… |
|
4 | 2057 | July 28, 2020 |
| 如何定义“类型包含”？ |
|
8 | 2227 | July 27, 2020 |
| 术语：induction |
|
15 | 4593 | August 5, 2019 |
| 《软件基础》汉化组招贤纳士 |
|
0 | 3495 | February 26, 2019 |