Waterproof Editor：面向证明助手和编程语言的教育环境
Waterproof Editor: an educational environment for proof assistants and programming languages
AI总结：
本文介绍Waterproof Editor，一个通过抽象化原有教育软件Waterproof的功能（如丰富格式化和清晰输入区域）为npm包，从而支持证明助手和编程语言教学的教育环境。
摘要：
Waterproof Editor 提供了一个专门针对使用证明助手或编程语言教学的教育环境。它源于 Waterproof，一款旨在帮助学生掌握数学证明技能的教育软件。其原始功能，如支持丰富格式化和提供清晰的输入区域，现在被抽象为一个 npm 包，可用于不同的教育场景。我们邀请相关方在其教育软件中使用该组件，并愿意提供协助。
英文摘要：
Waterproof Editor provides an educational environment specifically targeted to teaching with proof assistants or programming languages. It arose from Waterproof, educational software targeted at helping students acquire the skill of giving mathematical proofs. Its original features such as enabling rich formatting and providing clear input areas are now abstracted away in an npm package and can be used in different educational contexts. We invite interested parties to use this component in their educational software, and offer to assist with this.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
