ThEdu@CADE

Keyphrases

Publications

volume 400, 2024

Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023. ThEdu@CADE 400 (2024)

2023

volume 313, 2020

Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. ThEdu@CADE 313 (2020)

2019

volume 267, 2018

Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. ThEdu@CADE 267 (2018)

2017