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