Waterproof Editor: an educational environment for proof assistants and programming languages
For educators and developers of educational software, this provides a reusable component for teaching proofs and programming, though it is an incremental extension of existing work.
The authors present Waterproof Editor, an educational environment for proof assistants and programming languages, abstracting its core features into an npm package for reuse in other educational contexts.
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.