TY  - RPRT
TI  - Waterproof Editor: an educational environment for proof assistants and programming languages
AU  - Pim Otte
AU  - Dick Arends
AU  - Raul Sánchez Flores
AU  - Pieter Wils
AU  - Jim Portegies
PY  - 2026
UR  - https://arxiv.org/abs/2606.01875
ID  - 2606.01875
ER  -