Program Committee Walther Neuper Pedro Quaresma 0 Vanda Santos Wolfgang Schreiner 0 Makarius Wenzel Burkhart Wol 0 Pedro Quaresma 0 University of Vigo at Pontevedra University of South Bohemia University of Belgrade University of Belgrade LSIIT, UMR 7005, CNRS-ULP, Universite de Strasbourg Graz University of Technology Department of Mathematics, School of Science and Technology, University of Coimbra CISUC Research Institute for Symbolic Computation (RISC) Universite Paris-Sud 11 Univ Paris-Sud

This volume contains the papers presented at ThEdu'13: International Workshop on Theorem Proving Components for Educational Software held on July 10, 2013 in Bath, UK. There were 2 submissions. Each submission was reviewed by 3 program committee members. The committee decided to accept 2 papers. The ThEdu'13 is the second edition of the ThEdu workshops. ThEdu workshops intends to gather the research communities for computer Theorem proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).