TY  - RPRT
TI  - OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
AU  - Ján Perháč
AU  - Samuel Novotný
AU  - Sergej Chodarev
AU  - Joachim Tilsted Kristensen
AU  - Lars Tveito
AU  - Oleks Shturmov
AU  - Michael Kirkedal Thomsen
PY  - 2025
DO  - 10.4204/eptcs.419.4
UR  - https://arxiv.org/abs/2505.05987
ID  - 2505.05987
ER  -