@misc{indiciae743215536a18,
  title = {Showing Proofs, Assessing Difficulty with GeoGebra Discovery},
  author = {Zoltán Kovács and Tomás Recio and M. Pilar Vélez},
  year = {2024},
  doi = {10.4204/eptcs.398.8},
  url = {https://arxiv.org/abs/2401.11900},
  note = {Source identifier: 2401.11900}
}