BCS is a registered charity: No 292786
Teaching Formal Methods: Practice and Experience
BCS London Office, UK, 15 December 2006
Krysia Broda, Jiefei M, Gabrielle Sinnadurai & Alex Summers
Pandora is a tool to support the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the "e-tutor" and facilities to save, reload and export to LATEX.
Every attempt to apply a natural deduction rule is met with either success or a helpful error message, providing the student with instant feedback. This paper describes the e-tutor and our experiences of using the tool in teaching.