(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))