Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Garrido, Diego Rivera"'
Autor:
Wemmenhove, Jelle, Arends, Dick, Beurskens, Thijs, Bhaid, Maitreyee, McCarren, Sean, Moraal, Jan, Garrido, Diego Rivera, Tuin, David, Vassallo, Malcolm, Wils, Pieter, Portegies, Jim
Publikováno v:
EPTCS 400, 2024, pp. 96-119
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 provers, students write out their proofs inside the software using a s
Externí odkaz:
http://arxiv.org/abs/2211.13513
