Ynot公司 34份文件引用（2008年至2019年） 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；辛纳尔，阿夫拉姆；保罗·戈维罗（Paul Govereau）；拉尔斯·比克达尔 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…