Ludovic Frank Gitignore

Coq 用 .gitignore

Coq 用の除外ルール 43 件。そのままリポジトリにコピーして使えます。

形式証明支援システム

.gitignore をダウンロード Coq をほかの技術と組み合わせる

Coq 用 .gitignore の完全版 

# LFGitignore によって生成 - https://lfgitignore.com
# 作成日：2026-10-31 21:53:18 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 一般的な

この Coq 用 .gitignore の使い方

  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

言語 の全テンプレートを見る