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