fraware

fraware/lean-endkan

Practical Automation for Ends, Coends, and Kan Extensions in Lean 4

1 stars 0 forks 1 watchers Lean Apache License 2.0
category-theory coends ends kan-extensions lean4
View on GitHub
3 Open Issues Need Help Last updated: Jun 17, 2026

Open Issues Need Help

View All on GitHub
Check downstream compatibility for the next release 10 days ago
help wanted
fraware/lean-endkan
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 10 days ago
help wanted
fraware/lean-endkan
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 10 days ago
help wanted good first issue
fraware/lean-endkan
1

Practical Automation for Ends, Coends, and Kan Extensions in Lean 4

Lean
#category-theory#coends#ends#kan-extensions#lean4