迷你ML 55份文件引用(2000–2023) 软件作者: 罗文·戴维斯(Rowan Davies);弗兰克·芬宁 相关软件: Coq;毫升;佩斯卡… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)