blob: dbc30f64fc0a006bbaf0180ee9a27e5eb5149807 (
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
|
# 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/
|
