.gitignore für Lean
1 Ausschlussregel für Lean, die du direkt in dein Repository übernehmen kannst.
Funktionale Sprache und interaktiver Theorembeweiser
Die vollständige .gitignore für Lean
# Erstellt von LFGitignore - https://lfgitignore.com
# Erstellt: 2026-10-13 16:10:14 UTC
# Technologien: Lean
### Lean ###
# Lean Lake Build-Cache und Artefakte
.lake/
Was diese Regeln für Lean ausschließen
Alle Muster im Überblick – und warum sie in deine .gitignore gehören.
Allgemein
| Muster | Ausgeschlossene Dateien |
|---|---|
.lake/ |
Lean Lake Build-Cache und Artefakte |
So verwendest du diese .gitignore für Lean
- Kopiere die Regeln für Lean oben oder lade die Datei direkt herunter.
- Erstelle im Stammverzeichnis deines Git-Repositorys eine Datei namens .gitignore und füge die Regeln ein.
- Falls Git einige dieser Dateien bereits erfasst, führe git rm -r --cached . aus und erstelle einen neuen Commit – Git wendet Ausschlussregeln nur auf nicht erfasste Dateien an.
- Committe die .gitignore, damit alle im Team dieselben Regeln verwenden.