@misc{indiciae892d371e96d8,
  title = {OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs},
  author = {Ján Perháč and Samuel Novotný and Sergej Chodarev and Joachim Tilsted Kristensen and Lars Tveito and Oleks Shturmov and Michael Kirkedal Thomsen},
  year = {2025},
  doi = {10.4204/eptcs.419.4},
  url = {https://arxiv.org/abs/2505.05987},
  note = {Source identifier: 2505.05987}
}