@misc{https://doi.org/10.4121/79e7c4eb-81dc-492a-9ac4-69f33166de8e.v1,
  doi = {10.4121/79e7c4eb-81dc-492a-9ac4-69f33166de8e.v1},
  url = {},
  author = {Khakimova, Maria and Cockx, Jesper and Juhošová, Sára and Reinders, Jaro},
  keywords = {agda, error messages, user study, proof assistants, human-computer interaction, dependent types, computer science education, novice programmers, hints in error messages},
  title = {Enhancing Proof Assistant Error Messages with Hints: A User Study},
  publisher = {4TU.ResearchData},
  year = {2025},
  copyright = {MIT},
}