Previous Editions

ThEdu'25 is the 14th edition of the Theorem Proving Components for Educational Software workshop.

Here are the previous editions.