(lang dune 1.9)
(using coq 0.1)
(name coq-mtac2)
