登录注册

Coq

2 引用 • 174 浏览

参与讨论

关注

关注分享

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

关于 SiYuan v3.1.12 后默认自动清理超过 180 天快照的调查
目前思源加入了自动的快照清理功能，触发时机如下：手动触发同步每 24 小时执行一次默认的配置是保留 180 天内的快照，每天保留两份。在启动、退出时的同步不会触发，但是 30s 的自动同步会触发。我个人不喜欢这个设计，因此以下的描述可能会有偏颇。不喜欢的原因如下：清理功能是自动的且没有开关默认开启，这导致假 ..

491 1 天前
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 年前