Class GuiGoal.prover

class prover : VCS.prover -> object .. end

val mutable state : prover_state
val mutable run : Wpo.t -> VCS.prover -> unit
val mutable log : Wpo.t -> VCS.prover -> unit
method widget : Toolbox.widget
method set_display : display_state -> unit
method on_run : (Wpo.t -> VCS.prover -> unit) -> unit
method on_log : (Wpo.t -> VCS.prover -> unit) -> unit
method click : unit