@misc{indiciae082256f84c3d,
  title = {Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4},
  author = {Xichen Tang},
  year = {2024},
  url = {https://arxiv.org/abs/2409.05977},
  note = {Source identifier: 2409.05977}
}