From 870e1cc1ea14fe43ae50e47828ac760e760ad93a Mon Sep 17 00:00:00 2001
From: filip <“filip.rabiega@gmail.com”>
Date: Tue, 22 Apr 2025 17:32:02 +0200
Subject: did a bunch of stuff

---
 dune-project | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 dune-project

(limited to 'dune-project')

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))
-- 
cgit v1.2.3