dune « bin - chadprover - Software for automated proofs.

summary refs log tree commit diff

path: root/bin/dune

blob: e7f82e369ec5cb3ed6f8dd09dfb5ac19df88f18e (plain)

(executable
 (public_name power_prover)
 (name main)
 (libraries power_prover dream))