@misc{indiciae0d20362b9d71,
  title = {Natural Deduction Assistant (NaDeA)},
  author = {Jørgen Villadsen and Andreas Halkjær From and Anders Schlichtkrull},
  year = {2019},
  doi = {10.4204/eptcs.290.2},
  url = {https://arxiv.org/abs/1904.00618},
  note = {Source identifier: 1904.00618}
}