(ocamllex lexer)
(ocamlyacc parser)
(executable
 (name prover)
)
