International Workshop on Theorem proving components for Educational
software, 5 of July 2023, workshop at the, 29th international Conference on Automated Deduction (CADE 2023), July 1-4, 2023, Rome, Italy.
Theorem Proving is becoming a paradigm as well as a technological base
for a new generation of educational software in science, technology,
engineering and mathematics. The workshop brings together experts in
automated deduction with experts in education in order to further
clarify the shape of the new software generation and to discuss existing