课程相关
文章平均质量分 92
Cbcwestwolf
这个作者很懒,什么都没留下…
展开
-
通过《Software Foundation》学习Coq语言的基本用法——2.Induction 3.Lists
文章目录原创 2018-12-04 16:51:37 · 2104 阅读 · 2 评论 -
通过《Software Foundation》学习Coq语言的基本用法——1.Basics
Basics摘录总结自《Software Foundation》的Basics一章,旨在交流与学习Coq的基本用法; 强烈建议大家下载源码自己运行一遍用Inductive定义一个Type定义一个类型(type):Inductive day : Type := | monday : day | tuesday : day | wednesday : day | thursda...原创 2018-12-03 11:44:12 · 7040 阅读 · 3 评论