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

---
 README.md | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index e69de29..dbc30f6 100644
--- a/README.md
+++ b/README.md
@@ -0,0 +1,26 @@
+# Chadprover
+
+## Overview
+
+Experimentation with automated proofs.
+
+
+## Useful Commands
+
+- `dune build` to build the project
+- `dune test` to run tests
+- `dune exec power_prover` to execute the program
+
+
+## Project Log
+
+### Dune Setup
+
+- `dune init proj power_prover` to create project directory (we rename the base dir as *PowerProver*)
+
+
+## Resources
+
+- https://dune.readthedocs.io/en/latest/quick-start.html
+- https://ocaml.org/docs/compiling-ocaml-projects
+- https://aantron.github.io/dream/
-- 
cgit v1.2.3