Cs 31 JAN, 2025 LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories) By Rongge Xu
