Coq-Combi公司 swMATH ID: 37869 软件作者： 弗洛伦特·希弗特 描述： Coq-Combi：Coq中（代数）组合数学的形式化。 主页： https://github.com/hivert/Coq-Combi网站 源代码： https://github.com/hivert/Coq-Combi网站 依赖项： Coq公司 相关软件： 存档正式证据；伊莎贝尔/HOL；组合学_单词；Szpilrajn扩建；林登的话；github；伊莎贝尔；精益；齐塔_3_非理性；数学组件；蛋糕ML；HOL灯；Algolib公司；CoqEAL公司；枫树；Coq公司 引用于： 2文件 4位作者引用 1 什特·潘·霍卢布 1 阿西亚·马布比 1 托马斯·西布特·皮诺特 1 什蒂·潘·斯塔罗斯塔 连载1篇 1 计算机科学中的逻辑方法 在2个字段中引用 2 计算机科学（68至XX） 1 数论（11-XX） 按年份列出的引文