A quasi-experimental study of the Waterproof proof assistant finds suggestive evidence that it improves explicitness of students' pen-and-paper proofs and may raise grades in Mathematics-Computer Science tracks.
Waterproof: Educational software for learning how to write mathematical proofs
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.HO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
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.
citing papers explorer
-
The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes
A quasi-experimental study of the Waterproof proof assistant finds suggestive evidence that it improves explicitness of students' pen-and-paper proofs and may raise grades in Mathematics-Computer Science tracks.
-
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.