CSLLean公司 5份文件引用(2010–2023) 软件作者： 阿伦达·R、奥利维蒂·N、波扎托·G·L。 相关软件： 康德莱恩；KLMLean公司；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）