Theoretischer Artikel über die Integration von formalem mathematischen Arbeiten mit digitalen Mathematikwerkzeugen (GeoGebra). Der Text diskutiert Potenziale und Risiken digitaler Werkzeuge im Mathematikunterricht sowie die Bedeutung des Zusammenspiels zwischen Werkzeugnutzung und formaler mathematischer Reflexion.