15 citations · 32 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 15 cited
Natural Deduction Assistant (NaDeA)
Jørgen Villadsen, Andreas Halkjær From, Anders Schlichtkrull
We present the Natural Deduction Assistant (NaDeA) and discuss its advantages and disadvantages as a tool for teaching logic. NaDeA is available online and is based on a formalizat…
cs.LO2019★ 9 cited
Students' Proof Assistant (SPA)
Anders Schlichtkrull, Jørgen Villadsen, Andreas Halkjær From
The Students' Proof Assistant (SPA) aims to both teach how to use a proof assistant like Isabelle and also to teach how reliable proof assistants are built. Technically it is a min…