@inproceedings{2024-proof-assistants-hatra,
  title = {Learner-Centered Design Criteria for Classroom Proof Assistants},
  author = {Matthew Keenan and Cyrus Omar},
  booktitle = {Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2024)},
  year = {2024}
}