Class GuiConfig.provers

class provers : string -> [ProverWhy3.dp list] Toolbox.selector