.gitignore para Lean
1 regra de exclusão para Lean, pronta a copiar para o seu repositório.
Linguagem funcional e demonstrador interativo de teoremas
O .gitignore completo para Lean
# Gerado pelo LFGitignore - https://lfgitignore.com
# Criado: 2026-10-13 16:10:45 UTC
# Tecnologias: Lean
### Lean ###
# Cache e artefactos de compilação do Lean Lake
.lake/
O que estas regras de Lean ignoram
Veja abaixo cada padrão e a razão para o incluir no seu .gitignore.
Geral
| Padrão | O que ignora |
|---|---|
.lake/ |
Cache e artefactos de compilação do Lean Lake |
Como utilizar este .gitignore para Lean
- Copie as regras de Lean acima ou descarregue o ficheiro diretamente.
- Crie um ficheiro com o nome .gitignore na raiz do seu repositório Git e cole nele as regras.
- Se o Git já acompanhar alguns desses ficheiros, execute git rm -r --cached . e faça um novo commit: o Git só aplica regras de exclusão aos ficheiros que ainda não acompanha.
- Faça commit do .gitignore para que toda a equipa utilize as mesmas regras.