Ludovic Frank Gitignore

Coq 的 .gitignore

适用于 Coq 的 43 条忽略规则，可直接复制到您的仓库。

形式证明助理

下载 .gitignore 将 Coq 与其他技术相结合

Coq 的完整 .gitignore 

# 由 LFGitignore - https://lfgitignore.com 生成
# 创建：2026-10-31 23:58:07 UTC
# 技术：Coq

### Coq ###
.*.aux
.*.d
# 静态库
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# 目标文件
*.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

这些 Coq 规则实际上忽略了什么

以下列出了每个忽略模式及其加入 .gitignore 的原因。

通用

模式 忽略的内容
.*.aux 通用
.*.d 通用
*.a 静态库
*.cma 通用
*.cmi 通用
*.cmo 通用
*.cmx 通用
*.cmxa 通用
*.cmxs 通用
*.glob 通用
*.ml.d 通用
*.ml4.d 通用
*.mlg.d 通用
*.mli.d 通用
*.mllib.d 通用
*.mlpack.d 通用
*.native 通用
*.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 通用

如何将此 .gitignore 用于 Coq

  1. 复制上面的Coq规则，或者直接下载文件。
  2. 在 Git 仓库根目录创建名为 .gitignore 的文件，并将规则粘贴进去。
  3. 如果其中一些文件已被跟踪，请运行 git rm -r --cached . 然后再次提交 - Git 仅将忽略规则应用于未跟踪的文件。
  4. 提交 .gitignore 以便团队中的每个人都共享相同的规则。

其他 语言 .gitignore 模板

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

查看每个 语言 模板