View article

With the emergence of e-learning, flexible education, and the increasing number of students in some fields, online teaching tools are becoming more and more important. Such tutoring tools allow students to practice at their own pace, providing them with proper explanations and feedback when they make mistakes. They allow for storing complete student answers, including mistakes, in a database. It becomes possible to mine this database, extract pedagogically relevant information and provide feedback to the teacher. This paper illustrates our approach with the Logic-ITA, a teaching tool for formal proofs currently in use in the School of Information Technologies at the University of Sydney.