@misc{indiciae4acae4082422,
  title = {Waterproof: Educational Software for Learning How to Write Mathematical Proofs},
  author = {Jelle Wemmenhove and Dick Arends and Thijs Beurskens and Maitreyee Bhaid and Sean McCarren and Jan Moraal and Diego Rivera Garrido and David Tuin and Malcolm Vassallo and Pieter Wils and Jim Portegies},
  year = {2024},
  doi = {10.4204/eptcs.400.7},
  url = {https://arxiv.org/abs/2211.13513},
  note = {Source identifier: 2211.13513}
}