文件名称：agda:阿格达形式化的代数图论
文件大小：14KB
文件格式：ZIP
更新时间：2024-05-21 03:06:10
algebra graph agda Agda
代数图论 我们使用阿格达将的理论形式化，并证明了一些关键定理。 代码概述 该存储库是完全独立的，不依赖于任何Agda库。 我们使用对证明进行连续验证。 要验证您的实现是否正确，可以调用verify.sh脚本。 下面我们描述src目录中包含的所有源文件的用途。 在“ Algebra文件夹中，我们定义以下结构： Dioid ，一个半环（或rng），其中+运算是幂等的。 Bool ，dioid的实现。 ShortestDistance ，另一个实例。 Graph ，。 LabelledGraph ， Graph的扩展。 对于每个文件，都有三个文件： Structure.agda ，主要实现。 Structure/Reasoning.agda ，用于编写方程式证明的语法糖。 Structure/Theorems.agda ， Structure/Theorems.agda一
【文件预览】：
agda-master
----.gitignore(8B)
----src()
--------API.agda(2KB)
--------API()
--------Prelude.agda(969B)
--------Algebra()
----.travis.yml(252B)
----LICENSE(1KB)
----README.md(1KB)
----verify.sh(287B)
----alga-theory.agda-lib(34B)