main:Design.main_window_extension_points ->
available:GuiConfig.provers ->
enabled:GuiConfig.provers ->
object
val mutable provers : (ProverWhy3.dp * bool) list
method private configure : ProverWhy3.dp list -> unit
method private detect : unit -> unit
method private enable : ProverWhy3.dp -> bool -> unit
method private entry : ProverWhy3.dp -> Toolbox.entry
method private lookup : ProverWhy3.dp -> bool
method run : unit -> unit
method private select : unit -> unit
end