TY  - RPRT
TI  - LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
AU  - Rongge Xu
AU  - Hui Dai
AU  - Yiming Fu
AU  - Jiedong Jiang
AU  - Tianjiao Nie
AU  - Junkai Wang
AU  - Holiverse Yang
AU  - Zhi-Hao Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2512.24796
ID  - 2512.24796
ER  -