Skip to content

feat(CategoryTheory): the bicategory of profunctors#39619

Open
dagurtomas wants to merge 36 commits into
leanprover-community:masterfrom
dagurtomas:profunctor-bicategory-followup
Open

feat(CategoryTheory): the bicategory of profunctors#39619
dagurtomas wants to merge 36 commits into
leanprover-community:masterfrom
dagurtomas:profunctor-bicategory-followup

feat(CategoryTheory): the bicategory of profunctors

898e964
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
main
succeeded May 20, 2026 in 26s