Skip to content

feat(PFunctor): Add API of basic constructions - #803

Open
dtumad wants to merge 5 commits into
leanprover:mainfrom
dtumad:dtumad/pfunctor-basic-api
Open

feat(PFunctor): Add API of basic constructions#803
dtumad wants to merge 5 commits into
leanprover:mainfrom
dtumad:dtumad/pfunctor-basic-api

wording correction

342a94d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Aug 17, 2026 in 9m 6s