TY  - RPRT
TI  - Waterproof: Educational Software for Learning How to Write Mathematical Proofs
AU  - Jelle Wemmenhove
AU  - Dick Arends
AU  - Thijs Beurskens
AU  - Maitreyee Bhaid
AU  - Sean McCarren
AU  - Jan Moraal
AU  - Diego Rivera Garrido
AU  - David Tuin
AU  - Malcolm Vassallo
AU  - Pieter Wils
AU  - Jim Portegies
PY  - 2024
DO  - 10.4204/eptcs.400.7
UR  - https://arxiv.org/abs/2211.13513
ID  - 2211.13513
ER  -