dune « bin - chadprover - Software for automated proofs.

summary refs log tree commit diff

path: root/bin/dune

blob: 991d2d0cc6586eba96997618056c119af136eed7 (plain)

(executable
 (public_name chadprover)
 (name main)
 (libraries chadprover api))