1 files changed, 6 insertions, 0 deletions
diff --git a/proof/_CoqProject b/proof/_CoqProject
new file mode 100644
index 0000000..0e6123e
--- /dev/null
+++ b/proof/_CoqProject
@@ -0,0 +1,6 @@
+-R . Sakura
+
+Schema.v
+Relation.v
+Drl.v
+Extraction.v