TY  - RPRT
TI  - Natural Deduction and the Isabelle Proof Assistant
AU  - Jørgen Villadsen
AU  - Andreas Halkjær From
AU  - Anders Schlichtkrull
PY  - 2018
DO  - 10.4204/eptcs.267.9
UR  - https://arxiv.org/abs/1803.01473
ID  - 1803.01473
ER  -