[Hol-info] 2nd CfP - ThEdu'21 post-proceedings at EPTCS

Open Call for Papers ** Proceedings for ThEdu'21 Theorem Proving Components for Educational Software http://www.uc.pt/en/congressos/thedu/t

[Hol-info] 2nd CfP ThEdu'21

        2nd Call for Extended Abstracts & Demonstrations **     ThEdu'21     Theorem Proving Components for Educational Software   11 July 2021