research
∙
02/28/2020
Teaching a Formalized Logical Calculus
Classical first-order logic is in many ways central to work in mathemati...
share
research
∙
04/01/2019
Natural Deduction Assistant (NaDeA)
We present the Natural Deduction Assistant (NaDeA) and discuss its advan...
research
∙
04/01/2019
Students' Proof Assistant (SPA)
The Students' Proof Assistant (SPA) aims to both teach how to use a proo...
research
∙
03/05/2018