1 files changed, 26 insertions, 0 deletions
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/