Proceedings 12th International Workshop on Theorem proving components for Educational software

Julien Narboux,Walther Neuper,Pedro Quaresma
DOI: https://doi.org/10.4204/EPTCS.400
2024-04-04
Abstract: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 favouring software support for this transition by exploiting the power of theorem-proving technologies. What follows is a brief description of how the present volume contributes to this enterprise.
Logic in Computer Science,Artificial Intelligence,Machine Learning
What problem does this paper attempt to address?