Andreas Halkjær From | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Jørgen Villadsen
12 publications
Anders Schlichtkrull
4 publications

research

∙ 04/01/2019

Natural Deduction Assistant (NaDeA)

We present the Natural Deduction Assistant (NaDeA) and discuss its advan...

0 Jørgen Villadsen, et al. ∙

research

∙ 04/01/2019

Students' Proof Assistant (SPA)

The Students' Proof Assistant (SPA) aims to both teach how to use a proo...

0 Anders Schlichtkrull, et al. ∙

research

∙ 03/05/2018

Natural Deduction and the Isabelle Proof Assistant

We describe our Natural Deduction Assistant (NaDeA) and the interfaces b...

0 Jørgen Villadsen, et al. ∙