main:Design.main_window_extension_points ->
provers:GuiConfig.provers -> object method run : unit -> unit end