diff options
| author | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:38:11 +0200 |
|---|---|---|
| committer | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:38:11 +0200 |
| commit | af76b11278204c25428c4f95ef51d4aa8f2a1e0e (patch) | |
| tree | 1fc0d014424481960c0064af87321096141badeb /README.md | |
| parent | 870e1cc1ea14fe43ae50e47828ac760e760ad93a (diff) | |
| download | chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.tar.gz chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.tar.bz2 chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.zip | |
set up dream
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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 |