# 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/