From af76b11278204c25428c4f95ef51d4aa8f2a1e0e Mon Sep 17 00:00:00 2001
From: filip <“filip.rabiega@gmail.com”>
Date: Tue, 22 Apr 2025 17:38:11 +0200
Subject: set up dream

---
 README.md | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index dbc30f6..c1f72f0 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Chadprover
+# PowerProver
 
 ## Overview
 
@@ -17,6 +17,15 @@ Experimentation with automated proofs.
 ### Dune Setup
 
 - `dune init proj power_prover` to create project directory (we rename the base dir as *PowerProver*)
+- `dune build` to build the project
+- `dune test` to run tests
+- `dune exec power_prover` to execute the program
+
+### Dream Setup
+
+- `opam install dream`
+- add *dream* to libraries in */bin/dune*: `(libraries power_prover dream)`
+- add *dream* to package dependencies in */dune-project*: ` (depends ocaml dune dream)`
 
 
 ## Resources
-- 
cgit v1.2.3