文件名称：coq-100-theorems:Coq中证明的著名定理的陈述[maintainer = @ jmadiot]
文件大小：58KB
文件格式：ZIP
更新时间：2024-06-17 06:15:08
coq theorems Coq
使用Coq证明了100个著名定理
列出了并使用证明助手对其中的几个进行了形式化。 该存储库跟踪已使用证明的语句。
您可以在上看到列表。
元
作者：
让·玛丽·麦迪欧（Jean-Marie Madiot）
弗雷德里克·查德（FrédéricChardard）
Coq社区维护者： Jean-Marie Madiot（ ）
执照：
兼容的Coq版本：8.10或更高版本
其他依赖项：
Coq命名空间： Coq100Theorems
相关出版物：无
建筑说明
要构建此存储库中托管的所有定理，请运行以下命令：
git clone https://github.com/coq-community/coq-100-theorems
cd coq-100-theorems
make # or make -j
【文件预览】：
coq-100-theorems-master
----default.nix(768B)
----dune(292B)
----sumarith.v(1KB)
----div3.v(2KB)
----cardan_ferrari.v(24KB)
----sumkthpowers.v(7KB)
----coq-coq-100-theorems.opam(1KB)
----.github()
--------workflows()
----dune-project(56B)
----ballot.v(18KB)
----inclusionexclusion.v(9KB)
----index.html(70KB)
----LICENSE(1KB)
----birthday.v(9KB)
----.gitignore(360B)
----meta.yml(3KB)
----_CoqProject(153B)
----Makefile(335B)
----mean.v(16KB)
----README.md(3KB)
----def.css(3KB)
----konigsberg_bridges.v(8KB)
----pigeonhole.v(4KB)