.gitignore for Coq
43 ignore rules for Coq, ready to copy into your repository.
Formal proof assistant
The complete .gitignore for Coq
# Generated by LFGitignore - https://lfgitignore.com
# Created: 2026-08-05 01:31:33 UTC
# Technologies: Coq
### Coq ###
.*.aux
.*.d
# Static library
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Object file
*.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
What these Coq rules actually ignore
Every pattern below, and why it belongs in your .gitignore.
General
| Pattern | What it ignores |
|---|---|
.*.aux |
General |
.*.d |
General |
*.a |
Static library |
*.cma |
General |
*.cmi |
General |
*.cmo |
General |
*.cmx |
General |
*.cmxa |
General |
*.cmxs |
General |
*.glob |
General |
*.ml.d |
General |
*.ml4.d |
General |
*.mlg.d |
General |
*.mli.d |
General |
*.mllib.d |
General |
*.mlpack.d |
General |
*.native |
General |
*.o |
Object file |
*.v.d |
General |
*.vio |
General |
*.vo |
General |
*.vok |
General |
*.vos |
General |
.coq-native |
General |
.csdp.cache |
General |
.lia.cache |
General |
.nia.cache |
General |
.nlia.cache |
General |
.nra.cache |
General |
csdp.cache |
General |
lia.cache |
General |
nia.cache |
General |
nlia.cache |
General |
nra.cache |
General |
native_compute_profile_*.data |
General |
*.timing.diff |
generated timing files |
*.v.after-timing |
General |
*.v.before-timing |
General |
*.v.timing |
General |
time-of-build-after.log |
General |
time-of-build-before.log |
General |
time-of-build-both.log |
General |
time-of-build-pretty.log |
General |
How to use this .gitignore for Coq
- Copy the Coq rules above, or download the file directly.
- Create a file named .gitignore at the root of your Git repository and paste the rules into it.
- If some of those files are already tracked, run git rm -r --cached . then commit again — Git only applies ignore rules to untracked files.
- Commit the .gitignore so everyone on the team shares the same rules.