1 files changed, 10 insertions, 1 deletions
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