文件名称：graph-theory:图论[maintainers = @ chdoc，@ damien-pous]
文件大小：234KB
文件格式：ZIP
更新时间：2024-04-29 10:53:07
coq graph-theory mathcomp Coq
图论 一个形式化图论结果的库，包括文献中的各种标准结果（例如，Menger定理，Hall婚姻定理和排除的树宽二图的次要特征），以及有关关系代数研究的一些最新结果在ERC CoVeCe项目中（例如，图同构的公理化的健全性和完整性）。 元 作者： 克里斯蒂安·多兹卡（Christian Doczkal）（初始） Damien Pous（初始设置） DanielSeverín（外部贡献者） Coq社区维护者： 克里斯蒂安·多茨卡（ ）（ ） 达米恩·普斯（ damien ） 执照： 兼容的Coq版本：8.12或更高版本 其他依赖项： MathComp的SSReflect库，版本1.11或更高版本 MathComp的finmap库 Hierarchy Builder版本1.0.0或更高版本 Coq命名空间： GraphTheory 相关出版物： doi： doi
【文件预览】：
graph-theory-master
----.gitignore(170B)
----Makefile(335B)
----_CoqProject(1KB)
----Makefile.coq.local(1KB)
----coqdocjs()
----.gitmodules(89B)
----.github()
--------workflows()
----meta.yml(3KB)
----README.md(4KB)
----coq-graph-theory.opam(1KB)
----theories()
--------.gitignore(81B)
--------edone.v(933B)
--------helly.v(6KB)
--------preliminaries.v(35KB)
--------finite_quotient.v(17KB)
--------minor.v(19KB)
--------setoid_bigop.v(10KB)
--------equiv.v(12KB)
--------bij.v(7KB)
--------rewriting.v(3KB)
--------excluded.v(22KB)
--------completeness.v(7KB)
--------timings.txt(2KB)
--------TODO(654B)
--------mgraph2.v(31KB)
--------connectivity.v(47KB)
--------mgraph.v(37KB)
--------files.txt(2KB)
--------finmap_plus.v(14KB)
--------ptt.v(5KB)
--------set_tac.v(8KB)
--------pttdom.v(15KB)
--------transfer.v(54KB)
--------mgraph2_tw2.v(10KB)
--------open_confluence.v(67KB)
--------skeleton.v(33KB)
--------dom.v(22KB)
--------checkpoint.v(41KB)
--------treewidth.v(30KB)
--------extraction_def.v(28KB)
--------reduction.v(16KB)
--------structures.v(6KB)
--------cp_minor.v(12KB)
--------digraph.v(44KB)
--------extraction_iso.v(19KB)
--------sgraph.v(57KB)
--------extraction_top.v(8KB)
--------README(2KB)
--------bounded.v(2KB)
----depend-colors.gv(1KB)