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