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).