dune « bin - chadprover - Software for automated proofs.

summary refs log tree commit diff

path: root/bin/dune

blob: 5e8e55c16d22f63034b907b168a9fe631f7e6231 (plain)

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