5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…