Searched for: +
(1 - 1 of 1)
List view
Grid view
document
Verwer, S.E. (author), De Weerdt, M.M. (author), Zutt, J. (author)
In this interactive event we demonstrate a web-based software tool to teach theorem proving in propositional logic, called Bop. This tool is a proof editor in the Fitch proof system that can give hints, proofsteps, or even complete proofs to the student.
conference paper 2005