plugin_base.dune « omega « plugins - coq - The formal proof system

about summary refs log tree commit diff

path: root/plugins/omega/plugin_base.dune

blob: f512501c783d82b8af38e7a3a706ddf88c6b3ea1 (plain)

(library
 (name omega_plugin)
 (public_name coq.plugins.omega)
 (synopsis "Coq's omega plugin")
 (libraries coq.plugins.ltac))