Beeld Menu

InvariantsWisselt de zichtbaarheid van het paneel met invarianten.
GrafenWisselt de zichtbaarheid van het paneel met grafen.
GeneratorenWisselt de zichtbaarheid van het paneel met generatoren.
FiltersWisselt de zichtbaarheid van het paneel met filters.
Conjecturing engineWisselt de zichtbaarheid van het paneel met de vermoedensmotor.
Lijst van expressiesWisselt de zichtbaarheid van het paneel met de lijst van expressies.