文件名称：Isabelle：与定理证明有关的代码
文件大小：5KB
文件格式：ZIP
更新时间：2024-03-12 03:52:40
Isabelle
伊莎贝尔 与定理证明有关的代码
【文件预览】：
Isabelle-master
----past()
--------MyList.thy(3KB)
--------Prop.thy(2KB)
--------Concrete.thy(1KB)
----LICENSE(1KB)
----README.md(44B)
----Concretesemantics()
--------Chap2.thy(5KB)