山楂片的博客
·
Coq学习笔记（未完待续）
📝
内容提要
这篇文章来自《Coq in a Hurry》1的总结。 表达式和逻辑公式 编写正确的公式 使用Check命令能查看公式的类型： > Check True. True : Prop > Check 3. 3 : nat a:...
➡️
山楂片的博客
·
