@misc{indiciae4a443e79f623,
  title = {Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code},
  author = {Andreas Florath},
  year = {2024},
  url = {https://arxiv.org/abs/2403.12627},
  note = {Source identifier: 2403.12627}
}