@Inproceedings{EPTCS313.3,
  author    = {Cerna, David M. and Kiesel, Rafael P.D. and Dzhiganskaya, Alexandra},
  year      = {2020},
  title     = {A Mobile Application for Self-Guided Study of Formal Reasoning},
  editor    = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao},
  booktitle = {{\rm Proceedings 8th International Workshop on}
               Theorem Proving Components for Educational Software,
               {\rm Natal, Brazil, 25th August 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {313},
  publisher = {Open Publishing Association},
  pages     = {35-53},
  doi       = {10.4204/EPTCS.313.3},
}