[zh] Coq 中文
布告 本版可发布中文广告，如招生招聘启事、活动及征稿通告等。 翻译 本版可讨论术语、句式等翻译相关话题。 教程 本版用于发布中文Coq教程，以供学习者参考。
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
使用指南：通过电子邮件访问论坛
如网页访问受限，可通过电子邮件访问Coq论坛各个版块： 摘译： 检查用户设置，启用电子邮件功能； 欲评论某主题，回复通知邮件即可； 可向 coq+zh@discoursemail.com 发送邮件，以在本版创建主题。 |
|
1 | 68 | July 28, 2020 |
| Coq 中文版块说明 |
|
0 | 296 | February 25, 2019 |
| 术语：applicative functor |
|
0 | 81 | July 31, 2020 |
| 鉴于国内访问Coq中文论坛非常慢…… |
|
4 | 187 | July 28, 2020 |
| 如何定义“类型包含”？ |
|
8 | 226 | July 27, 2020 |
| 术语：induction |
|
15 | 1150 | August 5, 2019 |
| 《软件基础》汉化组招贤纳士 |
|
0 | 987 | February 26, 2019 |