Invariants | Wisselt de zichtbaarheid van het paneel met invarianten. |
Grafen | Wisselt de zichtbaarheid van het paneel met grafen. |
Generatoren | Wisselt de zichtbaarheid van het paneel met generatoren. |
Filters | Wisselt de zichtbaarheid van het paneel met filters. |
Conjecturing engine | Wisselt de zichtbaarheid van het paneel met de vermoedensmotor. |
Lijst van expressies | Wisselt de zichtbaarheid van het paneel met de lijst van expressies. |