Les assistants de preuve sont des outils informatiques conçus pour accompagner l'écriture de démonstrations mathématiques formalisées et leur utilisation pour l'enseignement de la preuve fait l'objet de diverses expérimentations en université. Leur mode d'interaction se limite habituellement au registre textuel\, à l'opposé de la pratique courante sur papier qui exploite souvent différents registres visuels. Ce travail propose la conception et l'évaluation d'un prototype d'interface qui permette d'associer des registres textuels et visuels pour améliorer la flexibilité de l'outil et faciliter l'apprentissage de la preuve en mathématiques.