Open Issues Need Help
View All on GitHub Check downstream compatibility for the next release about 2 months ago
help wanted
fraware/lean-endkan fraware/lean-endkan Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
Open project →
1
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 months ago
help wanted
fraware/lean-endkan fraware/lean-endkan Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
Open project →
1
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 months ago
help wanted good first issue
fraware/lean-endkan fraware/lean-endkan Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
Open project →
1
Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
Lean
#category-theory#coends#ends#kan-extensions#lean4