Invariants | Toggles the visibility of the panel with invariants. |
Graphs | Toggles the visibility of the panel with graphs. |
Generators | Toggles the visibility of the panel with generators. |
Filters | Toggles the visibility of the panel with filters. |
Conjecturing engine | Toggles the visibility of the panel with the conjecturing engine. |
List of expressions | Toggles the visibility of the panel with the list of expressions. |