You are here:

A tool to practice formal proofs

, , , , , Univ. of Sydney, Australia

EdMedia + Innovate Learning, in Norfolk, VA USA ISBN 978-1-880094-42-6 Publisher: Association for the Advancement of Computing in Education (AACE), Waynesville, NC


This paper presents a Logic Tutor, a tool to support computer science students in their learning of logic, more specifically in their learning of formal proofs. The current tool is equipped with a deduction system for propositional logic. However its modular conception makes it easy to change to another logic. Preliminary evaluation shows that this tool has a high educational value, thanks, among others features, to its simple, attractive interface and its specific error messages. The Logic Tutor will be integrated in our Logic teaching course in 2001.


Abraham, D., Crawford, L., Lesta, L., Merceron, A. & Yacef, K. (2001). A tool to practice formal proofs. In C. Montgomerie & J. Viteli (Eds.), Proceedings of ED-MEDIA 2001--World Conference on Educational Multimedia, Hypermedia & Telecommunications (pp. 7-8). Norfolk, VA USA: Association for the Advancement of Computing in Education (AACE). Retrieved August 17, 2022 from .