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