igl2020 伊利诺伊大学香槟分校伊利诺伊大学2020年秋季几何实验室的精益项目。 目标 我们在精益定理证明者中形式化语言，结构，术语，公式，句子，一阶逻辑，模型理论和O极小化。 参加者 艾恩·布兰查德（Eion Blanchard） 斯科特·哈曼 菲利普·希洛尼莫 维巴夫·卡夫 尼基·拉维（Nikil Ravi） 乔尔·沙格罗德斯基 凯·汤普森 诺夫·弗拉夫特 徐天凡 赵凤龙 安装 按照操作系统的说明，从此安装leanproject 。 导航到您要克隆此项目的文件夹。 在终端或命令