loading...
ThEdu'18 is the 7th edition of the Theorem Proving Components for Educational Software workshop.
You can find ThEdu previous editions here.