[ThEdu] EPTCS 400 - Proceedings 12th International Workshop on Theorem proving components for Educational software (ThEdu'23)

[Pedro Quaresma <pedro@mat.uc.pt>]

Dear ThEduers

A nice round number for our volume, EPTCS 400

Proceedings 12th International Workshop on Theorem proving components 
for Educational software (ThEdu'23)

DOI: 10.4204/EPTCS.400

See you at ThEdu'24

--

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Assistant Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
Largo D.Dinis
3000-143 COIMBRA, PORTUGAL
Elec. mail: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568