Natural Deduction Assistant (NaDeA)

Jørgen Villadsen, Andreas Halkjær From, Anders Schlichtkrull

Research output: Contribution to conferencePaperResearchpeer-review

159 Downloads (Pure)

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 languageEnglish
Publication date2018
Number of pages6
Publication statusPublished - 2018
EventInternational Workshop on Theorem proving components for Educational software - Oxford , United Kingdom
Duration: 18 Jul 201818 Jul 2018
http://www.uc.pt/en/congressos/thedu/thedu18/programme

Conference

ConferenceInternational Workshop on Theorem proving components for Educational software
CountryUnited Kingdom
CityOxford
Period18/07/201818/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.