igl2020:2020年秋季精益项目 源码

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