Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull. NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. FLAP, 4(1), 2017. [doi]
@article{VilladsenJS17,
title = {NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle},
author = {Jørgen Villadsen and Alexander Birch Jensen and Anders Schlichtkrull},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf},
researchr = {https://researchr.org/publication/VilladsenJS17},
cites = {0},
citedby = {0},
journal = {FLAP},
volume = {4},
number = {1},
}