1 files changed, 5 insertions, 0 deletions
diff --git a/server/formal/_CoqProject b/server/formal/_CoqProject
new file mode 100644
index 0000000..92d635c
--- /dev/null
+++ b/server/formal/_CoqProject
@@ -0,0 +1,5 @@
+-Q . routemon 
+util.v
+period.v
+period_seq.v
+\ No newline at end of file

diff --git a/server/formal/_CoqProject b/server/formal/_CoqProject new file mode 100644 index 0000000..92d635c --- /dev/null +++ b/server/formal/_CoqProject
@@ -0,0 +1,5 @@
	1	-Q . routemon
	2
	3	util.v
	4	period.v
	5	period_seq.v \ No newline at end of file