10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021
Event name
10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021
Event type
Event for scientific audience
Start date
11-07-2021
End date
11-07-2021
Location
Pittsburgh
Country
United States
Conference Track
Single Track
Event format Veranstaltungsformat
Online