loading...

UC.PT

ThEdu'19

Previous Editions

 ThEdu'19 is the 8th edition of the Theorem Proving Components for Educational Software workshop.


You can find ThEdu previous editions here.