Teaching Formal Methods: Practice and Experience (TFM)
Teaching Formal Methods: Practice and Experience
15 December 2006
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.