View Menu

InvariantsToggles the visibility of the panel with invariants.
GraphsToggles the visibility of the panel with graphs.
GeneratorsToggles the visibility of the panel with generators.
FiltersToggles the visibility of the panel with filters.
Conjecturing engineToggles the visibility of the panel with the conjecturing engine.
List of expressionsToggles the visibility of the panel with the list of expressions.