1 files changed, 11 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index c0bbbf28..d0a4be47 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,6 +46,17 @@ tests/fstar/hashmap/obj/
 tests/fstar/hashmap_on_disk/obj/
 tests/fstar/misc/obj/
 
+# Coq
+*.vo
+*.vok
+*.vos
+*.glob
+*.aux
+*.lia.cache
+*.d
+*Makefile.coq
+*CoqMakefile.conf
+
 # Misc
 /fstar-tests
 *~