Isabelle：与定理证明有关的代码

【文件属性】：
文件名称：Isabelle：与定理证明有关的代码
文件大小：5KB
文件格式：ZIP
更新时间：2021-02-20 10:06:00
Isabelle 伊莎贝尔 与定理证明有关的代码

【文件预览】：
Isabelle-master
----past()
--------MyList.thy(3KB)
--------Prop.thy(2KB)
--------Concrete.thy(1KB)
----LICENSE(1KB)
----README.md(44B)
----Concretesemantics()
--------Chap2.thy(5KB)