.gitignore per Lean
1 regola di esclusione per Lean, pronta da copiare nel repository.
Linguaggio funzionale e dimostratore interattivo di teoremi
Il .gitignore completo per Lean
# Generato da LFGitignore - https://lfgitignore.com
# Creato: 2026-10-13 16:11:59 UTC
# Tecnologie: Lean
### Lean ###
# Cache e artefatti di compilazione di Lean Lake
.lake/
Cosa escludono le regole di Lean
Tutti i pattern e i motivi per includerli nel tuo .gitignore.
Generale
| Schema di esclusione | Cosa esclude |
|---|---|
.lake/ |
Cache e artefatti di compilazione di Lean Lake |
Come usare questo .gitignore per Lean
- Copia le regole di Lean qui sopra oppure scarica direttamente il file.
- Crea un file chiamato .gitignore nella radice del repository Git e incolla le regole al suo interno.
- Se Git tiene già traccia di alcuni di questi file, esegui git rm -r --cached . e crea un nuovo commit: Git applica le regole di esclusione solo ai file non tracciati.
- Includi .gitignore in un commit affinché tutto il team condivida le stesse regole.