@misc{indiciaec9027b87bdcd,
  title = {CoqPyt: Proof Navigation in Python in the Era of LLMs},
  author = {Pedro Carrott and Nuno Saavedra and Kyle Thompson and Sorin Lerner and João F. Ferreira and Emily First},
  year = {2024},
  doi = {10.1145/3663529.3663814},
  url = {https://arxiv.org/abs/2405.04282},
  note = {Source identifier: 2405.04282}
}