Module Prover.AltErgo


module AltErgo: sig .. end

val valid : Str.regexp
val prove : Prover.Logs.t -> Wpo.t -> Prover.verdict Task.task
val check : Prover.Logs.t -> Wpo.t -> Prover.verdict Task.task