Ludovic Frank Gitignore

.gitignore para Coq

43 regras de exclusão para Coq, prontas a copiar para o seu repositório.

Assistente de provas formais

Descarregar .gitignore Combine Coq com outras tecnologias

O .gitignore completo para Coq 

# Gerado pelo LFGitignore - https://lfgitignore.com
# Criado: 2026-10-13 15:59:15 UTC
# Tecnologias: Coq

### Coq ###
.*.aux
.*.d
# Biblioteca estática
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Ficheiro objeto
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log

O que estas regras de Coq ignoram

Veja abaixo cada padrão e a razão para o incluir no seu .gitignore.

Geral

Padrão O que ignora
.*.aux Geral
.*.d Geral
*.a Biblioteca estática
*.cma Geral
*.cmi Geral
*.cmo Geral
*.cmx Geral
*.cmxa Geral
*.cmxs Geral
*.glob Geral
*.ml.d Geral
*.ml4.d Geral
*.mlg.d Geral
*.mli.d Geral
*.mllib.d Geral
*.mlpack.d Geral
*.native Geral
*.o Ficheiro objeto
*.v.d Geral
*.vio Geral
*.vo Geral
*.vok Geral
*.vos Geral
.coq-native Geral
.csdp.cache Geral
.lia.cache Geral
.nia.cache Geral
.nlia.cache Geral
.nra.cache Geral
csdp.cache Geral
lia.cache Geral
nia.cache Geral
nlia.cache Geral
nra.cache Geral
native_compute_profile_*.data Geral
*.timing.diff Ficheiros de temporização gerados
*.v.after-timing Geral
*.v.before-timing Geral
*.v.timing Geral
time-of-build-after.log Geral
time-of-build-before.log Geral
time-of-build-both.log Geral
time-of-build-pretty.log Geral

Como utilizar este .gitignore para Coq

  1. Copie as regras de Coq acima ou descarregue o ficheiro diretamente.
  2. Crie um ficheiro com o nome .gitignore na raiz do seu repositório Git e cole nele as regras.
  3. 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.
  4. Faça commit do .gitignore para que toda a equipa utilize as mesmas regras.

Outros modelos .gitignore de Linguagem

Python Java C C++ Go Kotlin Rust Zig Dart Elm Emacs Lisp Gleam

Ver todos os modelos de Linguagem