Lean 用 .gitignore
Lean 用の除外ルール 1 件。そのままリポジトリにコピーして使えます。
関数型言語とインタラクティブな定理証明器
Lean 用 .gitignore の完全版
# LFGitignore によって生成 - https://lfgitignore.com
# 作成日：2026-10-31 22:51:05 UTC
# 技術：Lean
### Lean ###
# Lean Lake ビルド キャッシュとアーティファクト
.lake/
Lean のルールで除外されるもの
以下の各パターンと、.gitignore に含める理由を説明します。
一般的な
| パターン | 除外対象 |
|---|---|
.lake/ |
Lean Lake ビルド キャッシュとアーティファクト |
この Lean 用 .gitignore の使い方
- 上の Lean 用ルールをコピーするか、ファイルを直接ダウンロードしてください。
- Git リポジトリのルートに .gitignore という名前のファイルを作り、ルールを貼り付けます。
- 対象のファイルがすでに追跡されている場合は、git rm -r --cached . を実行して再度コミットしてください。Git の除外ルールは未追跡のファイルにのみ適用されます。
- チーム全員で同じルールを共有できるよう、.gitignore をコミットします。