2 papers
cs.LO2025
Proceedings The 13th International Workshop on Theorem proving components for Educational software
Julien Narboux, Walther Neuper, Pedro Quaresma
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education while favor…
cs.LO2024
Proceedings 12th International Workshop on Theorem proving components for Educational software
Julien Narboux, Walther Neuper, Pedro Quaresma
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favo…