.gitignore cho Coq

43 quy tắc bỏ qua cho Coq, sẵn sàng sao chép vào kho mã của bạn.

Trợ lý chứng minh hình thức

Tải .gitignore Kết hợp Coq với các công nghệ khác

Tệp .gitignore đầy đủ cho Coq

# Được tạo bởi LFGitignore - https://lfgitignore.com
# Ngày tạo: 2026-10-31 21:53:38 UTC
# Công nghệ: Coq

### Coq ###
.*.aux
.*.d
# Thư viện tĩnh
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Tệp đối tượng
*.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

Các quy tắc Coq này thực sự bỏ qua những gì

Từng mẫu dưới đây và lý do nên thêm vào .gitignore.

Tổng quan

Mẫu	Nội dung được bỏ qua
`.*.aux`	Tổng quan
`.*.d`	Tổng quan
`*.a`	Thư viện tĩnh
`*.cma`	Tổng quan
`*.cmi`	Tổng quan
`*.cmo`	Tổng quan
`*.cmx`	Tổng quan
`*.cmxa`	Tổng quan
`*.cmxs`	Tổng quan
`*.glob`	Tổng quan
`*.ml.d`	Tổng quan
`*.ml4.d`	Tổng quan
`*.mlg.d`	Tổng quan
`*.mli.d`	Tổng quan
`*.mllib.d`	Tổng quan
`*.mlpack.d`	Tổng quan
`*.native`	Tổng quan
`*.o`	Tệp đối tượng
`*.v.d`	Tổng quan
`*.vio`	Tổng quan
`*.vo`	Tổng quan
`*.vok`	Tổng quan
`*.vos`	Tổng quan
`.coq-native`	Tổng quan
`.csdp.cache`	Tổng quan
`.lia.cache`	Tổng quan
`.nia.cache`	Tổng quan
`.nlia.cache`	Tổng quan
`.nra.cache`	Tổng quan
`csdp.cache`	Tổng quan
`lia.cache`	Tổng quan
`nia.cache`	Tổng quan
`nlia.cache`	Tổng quan
`nra.cache`	Tổng quan
`native_compute_profile_*.data`	Tổng quan
`*.timing.diff`	tập tin thời gian được tạo
`*.v.after-timing`	Tổng quan
`*.v.before-timing`	Tổng quan
`*.v.timing`	Tổng quan
`time-of-build-after.log`	Tổng quan
`time-of-build-before.log`	Tổng quan
`time-of-build-both.log`	Tổng quan
`time-of-build-pretty.log`	Tổng quan

Cách sử dụng .gitignore này cho Coq

Sao chép các quy tắc Coq ở trên hoặc tải tệp trực tiếp.
Tạo tệp có tên .gitignore ở thư mục gốc của kho mã Git và dán các quy tắc vào đó.
Nếu Git đã theo dõi một số tệp này, hãy chạy git rm -r --cached . rồi commit lại — Git chỉ áp dụng quy tắc bỏ qua cho các tệp chưa được theo dõi.
Commit tệp .gitignore để mọi người trong nhóm dùng chung các quy tắc.

Các mẫu .gitignore khác trong danh mục Ngôn ngữ

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

Xem mọi mẫu Ngôn ngữ