Natural Deduction Assistant (NaDeA)

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

Research output: Contribution to conferencePaperResearchpeer-review

346 Downloads (Orbit)

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
Country/TerritoryUnited Kingdom
CityOxford
Period18/07/201818/07/2018
Internet address

Fingerprint

Dive into the research topics of 'Natural Deduction Assistant (NaDeA)'. Together they form a unique fingerprint.

Cite this