dune-project


1
2
3
4
5
6
7
8
9
10
11
12
13
14

(lang dune 3.13)

(name chadprover)

(generate_opam_files true)

(authors "Filip Rabiega")

(license MIT)

(package
 (name chadprover)
 (synopsis "Experimentation with automated proofs")
 (depends ocaml dune dream ppx_yojson_conv))