@misc{indiciaea3754192aee1,
  title = {The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes},
  author = {Pim Otte and Rogier Bos and Johan Commelin and Jim Portegies},
  year = {2026},
  url = {https://arxiv.org/abs/2606.26809},
  note = {Source identifier: 2606.26809}
}