Interaktive Theorembeweiser bieten vielversprechende Unterstützung beim Erwerb von Beweisfähigkeiten im Übergang von der Schule zur Hochschule. Bevor sie jedoch effektiv als Lernwerkzeuge genutzt werden können, müssen Studierende lernen mit ihnen umzugehen. In unserem Beitrag stellen wir ein Designprinzip für Lernumgebungen, die Theorembeweiser integrieren, vor, das aus Theorie in der Informatikdidaktik und empirischen Befunden hergeleitet wird und präsentieren eine Anwendung davon.