We present a proof assistant in Natural Deduction for undergraduate students. The system is interactive: you can combine, delete, modify proofs with a easy-to-use graphical interface. We discuss the pedagogical benefit of this tool. © 2011 Springer-Verlag.
CITATION STYLE
Gasquet, O., Schwarzentruber, F., & Strecker, M. (2011). Panda: A proof assistant in natural deduction for all. A Gentzen style proof assistant for undergraduate students. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6680 LNAI, pp. 85–92). https://doi.org/10.1007/978-3-642-21350-2_11
Mendeley helps you to discover research relevant for your work.