This uses cookies that do not gather any personal information whatsoever. By using this website, you agree with the cookie policy.
OK, I ACCEPT
Universidade de Coimbra Universidade de Coimbra Universidade de Coimbra
EN
Logotipo Minerva UC 1290
ThEdu'23

Previous Editions

 ThEdu'23 is the 12th edition of the Theorem Proving Components for Educational Software workshop.


You can find ThEdu previous editions here.

Minerva 1290 UC Universidade de Coimbra
Facebook Instagram Twitter YouTube LinkedIn
University of Coimbra © 2026
Contacts Reporting Channel Compliments, Suggestions, Complaints Legal notice