![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
coq
文章平均质量分 89
空空雪上琉璃瓦
这个作者很懒,什么都没留下…
展开
-
Coq语言 Final Exam
(* Final Exam (Paper A) — January 4, 2021 *)Require Import Nat.Require Import List.Notation “[ ]” := nil.Notation “[ x ; … ; y ]” := (cons x … (cons y nil) …).Definition admit {T: Type} : T. Admitted.(* 1. Prove the following fact about natural numb原创 2021-02-01 17:31:29 · 589 阅读 · 2 评论 -
coq 函数式编程--Basics.v
《SOFTWARE FOUNDATIONS》英文原版:https://softwarefoundations.cis.upenn.edu/lf-current/index.html中文翻译版:https://coq-zh.github.io/SF-zh/(中文版对于英文不好的简直太友好了,简直是宝藏!)我要写的是其中的第一卷,《Logical Foundations》,翻译基本源自中文翻译版,有些英文里面没翻译,我就机翻再修饰了一下,可能语句会不太通顺,...原创 2021-02-01 21:18:10 · 2336 阅读 · 7 评论