8000 feat: generalize withCtor functions to eliminate to Sort by nomeata · Pull Request #8994 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: generalize withCtor functions to eliminate to Sort#8994

Draft
nomeata wants to merge 1 commit intojoachim/linearNoConfusionULiftfrom
joachim/generalize-withCtor
Draft

feat: generalize withCtor functions to eliminate to Sort#8994
nomeata wants to merge 1 commit intojoachim/linearNoConfusionULiftfrom
joachim/generalize-withCtor

Commits

Commits on Jun 25, 2025
0