dune « api - chadprover - Software for automated proofs.

summary refs log tree commit diff

path: root/api/dune

blob: 9e9e82442b6e5cad40a9746fda8afb5dad85c25d (plain)

(library
 (name api)
 (libraries chadprover dream)
 (preprocess (pps lwt_ppx ppx_yojson_conv)))