This uses cookies that do not gather any personal information whatsoever. By using this website, you agree with the cookie policy.
OK, I ACCEPT

Previous Editions

 ThEdu'21 is the 10th edition of the Theorem Proving Components for Educational Software workshop.


You can find ThEdu previous editions here.