8000 fix: reject unsound unification hints by cppio · Pull Request #8988 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: reject unsound unification hints#8988

Open
cppio wants to merge 4 commits intoleanprover:masterfrom
cppio:unif_hint_fix
Open

fix: reject unsound unification hints#8988
cppio wants to merge 4 commits intoleanprover:masterfrom
cppio:unif_hint_fix

Commits

Commits on Jun 25, 2025
0