TY  - RPRT
TI  - The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes
AU  - Pim Otte
AU  - Rogier Bos
AU  - Johan Commelin
AU  - Jim Portegies
PY  - 2026
UR  - https://arxiv.org/abs/2606.26809
ID  - 2606.26809
ER  -