Class ProverCoq.runcoq

class runcoq : string list -> Wp_parameters.Script.t -> object .. end
Inherits
method failed : 'a. 'a Task.task
method compile : unit Task.task
method check : bool Task.task
method coqide : Wp_parameters.Script.t list -> int Task.task