Mit Nabla lassen sich beliebig viele Einmal-Aufgaben eines Aufgabentyps aus einer hohen Anzahl ad-hoc zufällig und individuell generieren, die Lösung des Nutzers wird automatisch geprüft, eine ebenfalls ad-hoc generierte Musterlösung wird angezeigt, und im Falle einer falschen Lösung des Nutzers werden die Fehler markiert.