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/
| Original language | English |
|---|---|
| Publication date | 2018 |
| Number of pages | 6 |
| Publication status | Published - 2018 |
| Event | International Workshop on Theorem proving components for Educational software - Oxford , United Kingdom Duration: 18 Jul 2018 → 18 Jul 2018 http://www.uc.pt/en/congressos/thedu/thedu18/programme |
Conference
| Conference | International Workshop on Theorem proving components for Educational software |
|---|---|
| Country | United Kingdom |
| City | Oxford |
| Period | 18/07/2018 → 18/07/2018 |
| Internet address |
Cite this
Villadsen, J., From, A. H., & Schlichtkrull, A. (2018). Natural Deduction Assistant (NaDeA). Paper presented at International Workshop on Theorem proving components for Educational software , Oxford , United Kingdom.