@misc{indiciaec055390c6e2f,
  title = {LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)},
  author = {Rongge Xu and Hui Dai and Yiming Fu and Jiedong Jiang and Tianjiao Nie and Junkai Wang and Holiverse Yang and Zhi-Hao Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2512.24796},
  note = {Source identifier: 2512.24796}
}