.gitignore para Coq

43 reglas de exclusión para Coq, listas para copiar en tu repositorio.

Asistente de demostraciones formales

Descargar .gitignore Combina Coq con otras tecnologías

El .gitignore completo para Coq

# Generado por LFGitignore - https://lfgitignore.com
# Creado: 2026-10-13 15:48:01 UTC
# Tecnologías: 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
# Archivo de 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

Qué ignoran estas reglas de Coq

Todos los patrones y por qué incluirlos en tu .gitignore.

Generalidades

Patrón	Qué ignora
`.*.aux`	Generalidades
`.*.d`	Generalidades
`*.a`	Biblioteca estática
`*.cma`	Generalidades
`*.cmi`	Generalidades
`*.cmo`	Generalidades
`*.cmx`	Generalidades
`*.cmxa`	Generalidades
`*.cmxs`	Generalidades
`*.glob`	Generalidades
`*.ml.d`	Generalidades
`*.ml4.d`	Generalidades
`*.mlg.d`	Generalidades
`*.mli.d`	Generalidades
`*.mllib.d`	Generalidades
`*.mlpack.d`	Generalidades
`*.native`	Generalidades
`*.o`	Archivo de objeto
`*.v.d`	Generalidades
`*.vio`	Generalidades
`*.vo`	Generalidades
`*.vok`	Generalidades
`*.vos`	Generalidades
`.coq-native`	Generalidades
`.csdp.cache`	Generalidades
`.lia.cache`	Generalidades
`.nia.cache`	Generalidades
`.nlia.cache`	Generalidades
`.nra.cache`	Generalidades
`csdp.cache`	Generalidades
`lia.cache`	Generalidades
`nia.cache`	Generalidades
`nlia.cache`	Generalidades
`nra.cache`	Generalidades
`native_compute_profile_*.data`	Generalidades
`*.timing.diff`	Archivos de tiempos generados
`*.v.after-timing`	Generalidades
`*.v.before-timing`	Generalidades
`*.v.timing`	Generalidades
`time-of-build-after.log`	Generalidades
`time-of-build-before.log`	Generalidades
`time-of-build-both.log`	Generalidades
`time-of-build-pretty.log`	Generalidades

Cómo usar este .gitignore para Coq

Copia las reglas de Coq de arriba o descarga el archivo directamente.
Crea un archivo llamado .gitignore en la raíz del repositorio Git y pega las reglas.
Si Git ya rastrea alguno de esos archivos, ejecuta git rm -r --cached . y crea otro commit: Git solo aplica las reglas de exclusión a los archivos que no rastrea.
Incluye el .gitignore en un commit para que todo el equipo comparta las mismas reglas.

Otras plantillas .gitignore de Lenguaje

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

Ver todas las plantillas de Lenguaje