Module Prover.AltErgo


module AltErgo: sig .. end

val valid : Str.regexp
val prove : bool -> 'a * Format.formatter -> Wpo.t -> Prover.verdict Task.task
val check : bool -> 'a * Format.formatter -> Wpo.t -> Prover.verdict Task.task