【函数语言程序设计】3
浏览 350 评论 0 点赞 0 收藏 0
2021-09-26 10:47
【函数语言程序设计】4
浏览 282 评论 0 点赞 0 收藏 0
2021-09-27 13:23
【函数语言程序设计】Hw4 - Coq2
浏览 565 评论 0 点赞 0 收藏 0
2021-09-28 15:26
【Coq】01 Basics I 枚举类型 布尔值
浏览 842 评论 0 点赞 1 收藏 0
2021-09-29 02:11
【Coq】02 Basics II 类型 旧类型 模块 多元组 数字
浏览 546 评论 0 点赞 1 收藏 0
2021-09-29 11:01
【Coq】03 Basics III 简化证明 重写证明
浏览 643 评论 0 点赞 1 收藏 0
2021-09-29 19:06
【Coq】04 Basics IV 案例分析证明
浏览 444 评论 0 点赞 0 收藏 0
2021-09-29 23:10
【Coq】05 Basics V （可选） 更多关于符号 固定点和结构递归
浏览 530 评论 0 点赞 0 收藏 0
2021-09-30 08:34
【Coq】06 Basics VI 更多练习
浏览 620 评论 0 点赞 0 收藏 0
2021-09-30 09:05
【函数语言程序设计】Hw5 - Coq3
浏览 329 评论 0 点赞 1 收藏 0
2021-10-12 22:40
【Coq】07 Induction I 归纳法证明
浏览 1.3K 评论 0 点赞 0 收藏 0
2021-10-12 23:25
【Coq】08 Induction II 证明中的证明 + 正式与非正式证明
浏览 735 评论 0 点赞 0 收藏 0
2021-10-17 01:35
【Coq】09 Induction III 更多练习
浏览 1.4K 评论 0 点赞 0 收藏 0
2021-10-17 01:38
【Coq】10 Lists I 数对
浏览 424 评论 0 点赞 0 收藏 0
2021-10-17 01:40
【Coq】11 Lists II 数字表
浏览 626 评论 0 点赞 0 收藏 0
2021-10-17 11:51
【函数语言程序设计】Hw6 - Coq4
浏览 341 评论 0 点赞 0 收藏 0
2021-10-22 13:04
【Coq】12 Lists III 关于列表的推理
浏览 623 评论 0 点赞 0 收藏 0
2021-10-25 17:09
【函数语言程序设计】Hw7 - Coq5
浏览 481 评论 0 点赞 0 收藏 0
2021-10-27 00:41
【Coq】13 Lists IV 选项
浏览 392 评论 0 点赞 0 收藏 0
2021-10-27 13:49
【Coq】14 Lists V 局部映射
浏览 529 评论 0 点赞 0 收藏 0
2021-10-27 14:10