diff --git a/Coq.gitignore b/Coq.gitignore
new file mode 100644
index 0000000..769bc36
--- /dev/null
+++ b/Coq.gitignore
@@ -0,0 +1,4 @@
+*.vo
+*.glob
+*.v.d
+