The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) expertise in improving accessibility of studies for impaired individuals, (2) expertise in developing educational mathematics software and (3) expertise in designing and implementing interactive proof assistants. The cooperation was started with the goal to develop an accessible mathematics working environment for education with reasonable efforts. The start was triggered by the lucky discovery that the upcoming Isabelle/VSCode is greatly accessible for blind users without further impairments; this is envisaged as the project's target group. Technical details are described to an extent necessary to understand essential details of efforts required for development. A survey of demand from practice of education with respect to (1) and (2) leads to a vision for educational math software, which necessarily is sketchy but suffices to guide development and which shall invite experts in didactics of mathematics to collaborate.

翻译：本文汇集了三个合作方之间的跨学科协作准备工作，涉及：(1) 改善残障人士学习可及性的专业知识；(2) 开发教育数学软件的专业知识；(3) 设计与实现交互式证明助手的专业知识。该合作旨在以合理投入开发面向教育的可访问数学工作环境。研究启动契机源于一项幸运发现：即将推出的Isabelle/VSCode对无其他残障的视障用户具有极佳可访问性——这正是本项目的目标群体。本文对开发中所需理解的关键技术细节进行了必要程度的阐述。通过面向(1)和(2)领域的教育实践需求调查，形成了教育数学软件的愿景方案，该方案虽属框架性，但足以指导开发工作，并可吸引数学教学法领域的专家参与协作。