Lean 的 .gitignore
适用于 Lean 的 1 条忽略规则，可直接复制到您的仓库。
函数式语言和交互式定理证明器
Lean 的完整 .gitignore
# 由 LFGitignore - https://lfgitignore.com 生成
# 创建：2026-10-31 21:50:48 UTC
# 技术：Lean
### Lean ###
# Lean Lake 构建缓存和工件
.lake/
这些 Lean 规则实际上忽略了什么
以下列出了每个忽略模式及其加入 .gitignore 的原因。
通用
| 模式 | 忽略的内容 |
|---|---|
.lake/ |
Lean Lake 构建缓存和工件 |
如何将此 .gitignore 用于 Lean
- 复制上面的Lean规则，或者直接下载文件。
- 在 Git 仓库根目录创建名为 .gitignore 的文件，并将规则粘贴进去。
- 如果其中一些文件已被跟踪，请运行 git rm -r --cached . 然后再次提交 - Git 仅将忽略规则应用于未跟踪的文件。
- 提交 .gitignore 以便团队中的每个人都共享相同的规则。