nek0las/lean-cats GitHub repository with 5 stars and 1 forks. Language: Lean Open provider repository