Het werkbladvenster bestaat uit verschillende panelen die kunnen worden verborgen of dichtgeklapt zoals het jou uitkomt. De beschikbare panelen zijn een grafenlijst, een invariantenlijst, een generatorenlijst, een filterslijst, een vermoedensmotor en een lijst met uitdrukkingen.