Open Issues Need Help
View All on GitHub Check downstream compatibility for the next release about 2 hours ago
help wanted
Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
Lean
#category-theory#coends#ends#kan-extensions#lean4
Test Kan-automation failure modes about 2 hours ago
help wanted
Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
Lean
#category-theory#coends#ends#kan-extensions#lean4
Add a finite Beck–Chevalley example about 2 hours ago
help wanted good first issue
Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
Lean
#category-theory#coends#ends#kan-extensions#lean4