@misc{indiciae2d78bbbfb465,
  title = {ProofBuddy: How it Started, How it's Going},
  author = {Nadine Karsten and Kim Jana Eiken and Uwe Nestmann},
  year = {2025},
  doi = {10.4204/eptcs.419.6},
  url = {https://arxiv.org/abs/2505.13474},
  note = {Source identifier: 2505.13474}
}