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.
Moore (1994):Making the transition to formal proof.Educational Studies in Mathematics27(3), pp
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
-
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.