TY  - RPRT
TI  - NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
AU  - Jørgen Villadsen
AU  - Alexander Birch Jensen
AU  - Anders Schlichtkrull
PY  - 2015
UR  - https://arxiv.org/abs/1507.04002
ID  - 1507.04002
ER  -