Module ProverErgo

module ProverErgo: sig .. end

val prove : VCS.mode -> Wpo.t -> VCS.result Task.task