@misc{indiciae7e8e45297265,
  title = {Proceedings The 13th International Workshop on Theorem proving components for Educational software},
  author = {Julien Narboux and Walther Neuper and Pedro Quaresma},
  year = {2025},
  doi = {10.4204/eptcs.419},
  url = {https://arxiv.org/abs/2505.04677},
  note = {Source identifier: 2505.04677}
}