文件名称：igl2020：2020年秋季精益项目
文件大小：13KB
文件格式：ZIP
更新时间：2024-02-28 23:48:44
Lean
igl2020 伊利诺伊大学香槟分校伊利诺伊大学2020年秋季几何实验室的精益项目。 目标 我们在精益定理证明者中形式化语言，结构，术语，公式，句子，一阶逻辑，模型理论和O极小化。 参加者 艾恩·布兰查德（Eion Blanchard） 斯科特·哈曼 菲利普·希洛尼莫 维巴夫·卡夫 尼基·拉维（Nikil Ravi） 乔尔·沙格罗德斯基 凯·汤普森 诺夫·弗拉夫特 徐天凡 赵凤龙 安装 按照操作系统的说明，从此安装leanproject 。 导航到您要克隆此项目的文件夹。 在终端或命令提示符中运行以下$ leanproject get vaibhavkarve/igl2020 。 这将创建一个名为igl2020的新文件夹，并将mathlib oleans复制到其中。 更新项目 第一次之后，您不需要运行leanproject get ... 要获取此存储库中所有文件的更新版本，您可
【文件预览】：
igl2020-master
----.gitignore(31B)
----src()
--------model.lean(35KB)
--------sandbox.lean(3KB)
----trial.lean(0B)
----README.md(1KB)
----leanpkg.toml(240B)