dune « debug - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/debug/dune

blob: 7f0c6a68847e191c9c6dca5361a31a115d9e6b74 (plain)

(include_subdirs no)

(executable
 (name CoqupTest)
 (libraries coqup))