教科书(进行中): https://avigad.github.io/lam网址 PDF版本的教科书: https://avigad.github.io/lamr/logic_and_mechanized_reasoning.pdf 课程主页: https://www.cs.cmu.edu/ ~mheule/15311-s24/
-
按照以下步骤安装精益4和VS代码 说明书 . -
确保您已经 吉特 安装。 -
如果在安装Lean和Mathlib之后还没有登录,那么可能需要首先输入 源~/.配置文件 或 源~/.bash_profile 取决于您的操作系统。 -
打开终端,导航到要克隆存储库的目录,然后键入: git克隆 git@github.com :avigad/lamr.git 激光测距仪 lake exe缓存获取 湖泊建造 这将获取存储库并构建它。 -
键入启动VS代码 代码。 或以其他方式启动VS Code并打开 拉姆 文件夹。 请注意,您必须打开顶层 拉姆 存储库文件夹,而不是任何其他文件夹。
吉特拉力 lake exe缓存获取 湖泊建造