Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern
I. Garnelo Abellanas, in: Beiträge Zum Mathematikunterricht 2025, 2025.