【函数语言程序设计】3
浏览 0 评论 0 点赞 0 收藏 0
2021-09-26 10:47
【函数语言程序设计】4
浏览 363 评论 0 点赞 0 收藏 0
2021-09-27 13:23
【函数语言程序设计】Hw4 - Coq2
浏览 666 评论 0 点赞 0 收藏 0
2021-09-28 15:26
【Coq】01 Basics I 枚举类型 布尔值
浏览 976 评论 0 点赞 1 收藏 0
2021-09-29 02:11
【Coq】02 Basics II 类型 旧类型 模块 多元组 数字
浏览 690 评论 0 点赞 1 收藏 0
2021-09-29 11:01
【Coq】03 Basics III 简化证明 重写证明
浏览 855 评论 0 点赞 1 收藏 0
2021-09-29 19:06
【Coq】04 Basics IV 案例分析证明
浏览 604 评论 0 点赞 0 收藏 0
2021-09-29 23:10
【Coq】05 Basics V （可选） 更多关于符号 固定点和结构递归
浏览 627 评论 0 点赞 0 收藏 0
2021-09-30 08:34
【Coq】06 Basics VI 更多练习
浏览 728 评论 0 点赞 0 收藏 0
2021-09-30 09:05
【函数语言程序设计】Hw5 - Coq3
浏览 432 评论 0 点赞 1 收藏 0
2021-10-12 22:40
【Coq】07 Induction I 归纳法证明
浏览 1.5K 评论 0 点赞 0 收藏 0
2021-10-12 23:25
【Coq】08 Induction II 证明中的证明 + 正式与非正式证明
浏览 895 评论 0 点赞 0 收藏 0
2021-10-17 01:35
【Coq】09 Induction III 更多练习
浏览 1.6K 评论 0 点赞 0 收藏 0
2021-10-17 01:38
【Coq】10 Lists I 数对
浏览 514 评论 0 点赞 0 收藏 0
2021-10-17 01:40
【Coq】11 Lists II 数字表
浏览 0 评论 0 点赞 0 收藏 0
2021-10-17 11:51
【函数语言程序设计】Hw6 - Coq4
浏览 446 评论 0 点赞 0 收藏 0
2021-10-22 13:04
【Coq】12 Lists III 关于列表的推理
浏览 792 评论 0 点赞 0 收藏 0
2021-10-25 17:09
【函数语言程序设计】Hw7 - Coq5
浏览 562 评论 0 点赞 0 收藏 0
2021-10-27 00:41
【Coq】13 Lists IV 选项
浏览 504 评论 0 点赞 0 收藏 0
2021-10-27 13:49
【Coq】14 Lists V 局部映射
浏览 655 评论 0 点赞 0 收藏 0
2021-10-27 14:10