登录注册

Coq

2 引用 • 174 浏览

参与讨论

关注

关注分享

默认热议好评优选最近回帖关注者查看所有标签

Coq 的安装及使用
下载及安装下载地址：https://coq.inria.fr/download Windows 环境下，安装 coq-8.9.1-installer-windows-x86_64.exe 即可。安装完成后可以打开 CoqIde. [图片] 一个简单的例子采用《Software Foundation》中的一个例子。输 ..

1.8K 5 年前
Coq 常用证明
化简等式对于简单的等式，可以使用 simpl 将等式进行化简，然后用 reflexivity 即等号的自反性证明。 Theorem plus_O_n : forall n : nat, 0 + n = n. Proof. intros n. simpl. reflexivity. Qed. Coq 系统中可以自动化简 ..

950 5 年前