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. The 11th International Workshop on Theorem Proving Components for Educational Software (ThEdu'22), was a satellite event of the 8th Federated Logic Conference (FLoC 2022), July 31-August 12, 2022, Haifa, Israel ThEdu'22 was a vibrant workshop, with two invited talk by Thierry Dana-Picard (Jerusalem College of Technology, Jerusalem, Israel) and Yoni Zohar (Bar Ilan University, Tel Aviv, Israel) and four contributions. An open call for papers was then issued, and attracted seven submissions. Those submissions have been accepted by our reviewers, who jointly produced at least three careful reports on each of the contributions. The resulting revised papers are collected in the present volume. The contributions in this volume are a faithful representation of the wide spectrum of ThEdu, ranging from those more focused on the automated deduction research, not losing track of the possible applications in an educational setting, to those focused on the applications, in educational settings, of automated deduction tools and methods. We, the volume editors, hope that this collection of papers will further promote the development of theorem-proving based software, and that it will allow to improve the mutual understanding between computer scientists, mathematicians and stakeholders in education. While this volume goes to press, the next edition of the ThEdu workshop is being prepared: ThEdu'23 will be a satellite event of the 29th international Conference on Automated Deduction (CADE 2023), July 1-4, 2023, Rome, Italy.

翻译：ThEdu系列研讨会致力于实现从中学数学直观推理方式向STEM教育中更形式化方法的平滑过渡，同时利用定理证明技术的优势为这一过渡提供软件支持。以下简要说明本卷如何推进这一事业。第11届定理证明组件教育软件国际研讨会（ThEdu'22）作为第8届联邦逻辑会议（FLoC 2022，2022年7月31日至8月12日，以色列海法）的卫星会议顺利召开。ThEdu'22是一场充满活力的研讨会，设有两场特邀报告（由以色列耶路撒冷技术学院的Thierry Dana-Picard和以色列特拉维夫巴伊兰大学的Yoni Zohar主讲）以及四篇投稿论文。会后发布的公开征稿共收到七篇投稿。这些投稿经审稿人严格评审，每位贡献均获得至少三份详尽评审报告，最终修订后的论文收录于本卷。本卷收录的成果忠实展现了ThEdu的广泛研究范畴：既有聚焦自动演绎研究并兼顾教育场景应用潜力的工作，也有侧重将自动演绎工具与方法应用于教育实践的探索。作为卷册编辑，我们期待这一论文合集能进一步推动基于定理证明的软件开发，并促进计算机科学家、数学家与教育从业者之间的相互理解。在本卷付梓之际，下一届ThEdu研讨会正在筹备中：ThEdu'23将作为第29届国际自动演绎会议（CADE 2023，2023年7月1-4日，意大利罗马）的卫星会议举行。