loading...

UC.PT

ThEdu'20

Previous Editions

 ThEdu'20 is the 9th edition of the Theorem Proving Components for Educational Software workshop.


You can find ThEdu previous editions here.