Natural Deduction Assistant (NaDeA)
Authors: Jørgen Villadsen, Andreas Halkjær From and Anders Schlichtkrull
Paper Information
| Title: | Natural Deduction Assistant (NaDeA) |
| Authors: | Jørgen Villadsen, Andreas Halkjær From and Anders Schlichtkrull |
| Proceedings: | ThEdu Extended Abstracts |
| Editors: | Pedro Quaresma and Walther Neuper |
| Keywords: | Logic Tools, Natural Deduction, Isabelle Proof Assistant |
| Abstract: | ABSTRACT. We present the Natural Deduction Assistant (NaDeA) and discuss its advantages and disadvantages as a tool for teaching logic. In particular we compare our approach to natural deduction in the Isabelle proof assistant. NaDeA is available online: https://nadea.compute.dtu.dk/ |
| Pages: | 6 |
| Talk: | Jul 18 09:30 (Session 124M) |
| Paper: |  |