包含标签：coq 的文章
-
coq中Category和内部类别的定义
我有一个由两部分组成的问题。目标：我想定义给定类别内部的类别概念。 我想出了以下简单的代码，但是会产生一个莫名其妙的错误消息，即： Record Categor……啊Q 2022年8月14日
啊Q
2022年8月14日