From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository

---
 _CoqProject | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 _CoqProject

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
new file mode 100644
index 0000000..49e7e24
--- /dev/null
+++ b/_CoqProject
@@ -0,0 +1,31 @@
+-Q theories mininix
+
+theories/utils.v
+theories/res.v
+
+theories/lambda/operational.v
+theories/lambda/operational_props.v
+theories/lambda/interp.v
+theories/lambda/interp_proofs.v
+
+theories/dynlang/operational.v
+theories/dynlang/operational_props.v
+theories/dynlang/interp.v
+theories/dynlang/interp_proofs.v
+theories/dynlang/equiv.v
+
+theories/evallang/operational.v
+theories/evallang/operational_props.v
+theories/evallang/interp.v
+theories/evallang/interp_proofs.v
+theories/evallang/tests.v
+
+theories/nix/floats.v
+theories/nix/operational.v
+theories/nix/operational_props.v
+theories/nix/interp.v
+theories/nix/notations.v
+theories/nix/tests.v
+theories/nix/interp_proofs.v
+theories/nix/wp.v
+theories/nix/wp_examples.v
-- 
cgit v1.2.3