1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 3ed63387..4b41d317 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,3 +31,7 @@ language/*.ps
 *Theory.ui
 *Theory.uo
 lib/hol/sail-heap
+# Coq
+*.vo
+*.glob
+.*.aux
+\ No newline at end of file