Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book


The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a reactive learning environment. In this paper, we investigate using an automated proof assistant, particularly Isabelle/HOL, as the model supporting first year undergraduate exercises in which students write… (More)
DOI: 10.1007/s10817-007-9072-3

18 Figures and Tables


  • Presentations referencing similar topics