![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
"Waterproof: Educational Software for Learning How to Write Mathematical ..."
Jelle Wemmenhove et al. (2023)
- Jelle Wemmenhove, Dick Arends, Thijs Beurskens, Maitreyee Bhaid, Sean McCarren, Jan Moraal
, Diego Rivera Garrido, David Tuin, Malcolm Vassallo, Pieter Wils, Jim Portegies:
Waterproof: Educational Software for Learning How to Write Mathematical Proofs. ThEdu@CADE 2023: 96-119
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.