文件名称：isabelle-hypermap:IsabelleHOL中平面超图的形式化
文件大小：50KB
文件格式：ZIP
更新时间：2024-04-30 20:40:08
Isabelle
Isabelle / HOL中平面超图的形式化 超图是用于表示四色定理的Coq证明的平面图的数据结构，可。 此开发旨在在Isabelle / HOL中实现超图，以最终产生四色定理的完整证明。 为此，存储库镜像了Coq证明中使用的文件结构和操作。
【文件预览】：
isabelle-hypermap-master
----.gitignore(3B)
----Walkup.thy(12KB)
----README.md(452B)
----Fun_Graph.thy(23KB)
----Hypermap.thy(12KB)
----old()
--------Rel_Digraph.thy(2KB)
--------Hypermap_Old.thy(7KB)
--------Fun_Graph_old.thy(4KB)
----Perm.thy(170KB)