TY  - RPRT
TI  - A Mobile Application for Self-Guided Study of Formal Reasoning
AU  - David M. Cerna
AU  - Rafael P. D. Kiesel
AU  - Alexandra Dzhiganskaya
PY  - 2020
DO  - 10.4204/eptcs.313.3
UR  - https://arxiv.org/abs/2002.12553
ID  - 2002.12553
ER  -