This volume contains the papers presented at ThEdu'18: 7th International Workshop on Theorem proving components for Educational software held on July 15-18, 2018 in Oxford.

There were 8 submissions. Each submission was reviewed by at least 1, and on the average 2.0, program committee members. The committee decided to accept 7 papers. The program also includes 1 invited talks.

ThEdu'18 is the 7th edition of the ThEdu series of workshops. The major aim of the \emph{ThEdu} workshop series was to link developers interested in adapting TP to needs of education and to inform mathematicians and mathematics educators about TP's potential for educational software

ThEdu'18 Program Committee

Francisco Botana, University of Vigo at Pontevedra, Spain
Filip Maric, University of Belgrade, Serbia
Walther Neuper, Graz University of Technology, Austria (co-chair)
Pedro Quaresma, University of Coimbra, Portugal (co-chair)
Philippe R. Richard,| Université de Montréal
Vanda Santos, CISUC, Portugal
Wolfgang Schreiner, Johannes Kepler University, Austria

Proceedings produced with the help of EasyChair