@misc{indiciae9508d592b484,
  title = {A method for the automated generation of proof exercises with comparable levels of proving complexity},
  author = {João Mendes and João Marcos and Patrick Terrematte},
  year = {2026},
  url = {https://arxiv.org/abs/2603.07322},
  note = {Source identifier: 2603.07322}
}