Waterproof: Educational Software for Learning How to Write Mathematical Proofs. - Jelle Wemmenhove; Dick Arends; Thijs Beurskens; Maitreyee Bhaid; Sean McCarren; Jan Moraal; Diego Rivera Garrido; David Tuin; Malcolm Vassallo; Pieter Wils; Jim Portegies (ThEdu@CADE, 2023)