diff --git a/_RocqProject b/_RocqProject
new file mode 100644
index 00000000..5fa1fa8e
--- /dev/null
+++ b/_RocqProject
@@ -0,0 +1 @@
+-Q TypeTheory TypeTheory
\ No newline at end of file