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