dune « engine - coq - The formal proof system

about summary refs log tree commit diff

path: root/engine/dune

blob: e2b7ab9c876f9345d5a3e2bd8d59a183226df886 (plain)

(library
 (name engine)
 (synopsis "Coq's Tactic Engine")
 (public_name coq.engine)
 (wrapped false)
 (libraries library))