Waterproof Editor abstracts rich formatting and input features from Waterproof into an npm package for reuse in educational software involving proof assistants or programming languages.
Service design for the improvement of intelligent tutoring systems: A case study
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.HO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Waterproof Editor: an educational environment for proof assistants and programming languages
Waterproof Editor abstracts rich formatting and input features from Waterproof into an npm package for reuse in educational software involving proof assistants or programming languages.