5 citations · 5 across the 2 of their papers we have counts for
2 papers
math.HO2026
Waterproof Editor: an educational environment for proof assistants and programming languages
Pim Otte, Dick Arends, Raul Sánchez Flores +2
Waterproof Editor provides an educational environment specifically targeted to teaching with proof assistants or programming languages. It arose from Waterproof, educational softwa…
math.HO2022★ 5 cited
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
Jelle Wemmenhove, Dick Arends, Thijs Beurskens +8
In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem…