Für Lehramtsstudierende ist es wichtig, einen Beweisprozess zu durchlaufen, in dem auch weniger formale Argumentationen und Entdeckungen erlaubt sind – nur so können sie auch später ihre Schüler*innen in diesem Prozess unterstützen. Es ist also nicht das perfekte Endprodukt entscheidend, das als Teil einer axiomatischen Struktur ein deduktives Netz aufspannt. Vielmehr steht auch der Prozess im Zentrum, bei dem auf der Suche nach einem Beweis Entdeckungen gemacht werden dürfen. In diesem Kapitel wird die Thematik der Beweisprozesse bei der Nutzung digitaler Werkzeuge motiviert, und es wird ein Überblick über die Struktur der Arbeit gegeben.