Natural Deduction Assistant (NaDeA)
Villadsen, Jørgen, From, Andreas Halkjær, Schlichtkrull, Anders
Published in Electronic proceedings in theoretical computer science (01.04.2019)
Published in Electronic proceedings in theoretical computer science (01.04.2019)
Get full text
Journal Article
Students' Proof Assistant (SPA)
Schlichtkrull, Anders, Villadsen, Jørgen, From, Andreas Halkjær
Published in Electronic proceedings in theoretical computer science (01.04.2019)
Published in Electronic proceedings in theoretical computer science (01.04.2019)
Get full text
Journal Article
Natural Deduction and the Isabelle Proof Assistant
Villadsen, Jørgen, From, Andreas Halkjær, Schlichtkrull, Anders
Published in Electronic proceedings in theoretical computer science (02.03.2018)
Published in Electronic proceedings in theoretical computer science (02.03.2018)
Get full text
Journal Article