1 files changed, 14 insertions, 0 deletions
diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..8fc8069
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,14 @@
+(lang dune 3.13)
+
+(name chadprover)
+
+(generate_opam_files true)
+
+(authors "Filip Rabiega")
+
+(license MIT)
+
+(package
+ (name chadprover)
+ (synopsis "Experimentation with automated proofs")
+ (depends ocaml dune))