Submission of new papers for ThEdu'26-Postproceedings (16th International Workshop on Theorem proving components for Educational software) is open.

EasyChair uses cookies for user authentication. To use EasyChair, you should allow your browser to save cookies from easychair.org.