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/Territory | United Kingdom |
City | Oxford |
Period | 18/07/2018 → 18/07/2018 |
Internet address |