@misc{indiciae9a31b7e48c91,
  title = {A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances},
  author = {Xichen Tang},
  year = {2025},
  url = {https://arxiv.org/abs/2501.18639},
  note = {Source identifier: 2501.18639}
}