@misc{indiciae05663e23450c,
  title = {TryLogic tutorial: an approach to Learning Logic by proving and refuting},
  author = {Patrick Terrematte and João Marcos},
  year = {2015},
  url = {https://arxiv.org/abs/1507.03685},
  note = {Source identifier: 1507.03685}
}