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