blob: c1f72f04efa98ba085876c99ec41969c8cfd7d88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
# PowerProver
## 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*)
- `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
- https://dune.readthedocs.io/en/latest/quick-start.html
- https://ocaml.org/docs/compiling-ocaml-projects
- https://aantron.github.io/dream/
|
