coq-100-theorems:Coq中证明的著名定理的陈述[maintainer = @ jmadiot]

使用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 <number> 随附证明