Previous Editions
ThEdu'25 is the 14th edition of the Theorem Proving Components for Educational Software workshop.
Here are the previous editions.
ThEdu'25 is the 14th edition of the Theorem Proving Components for Educational Software workshop.
Here are the previous editions.