10000 fix: respect explicitly inaccessible pattern variables by cppio · Pull Request #6558 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: respect explicitly inaccessible pattern variables#6558

Open
cppio wants to merge 1 commit intoleanprover:masterfrom
cppio:explicit-inaccessible-variable
Open

fix: respect explicitly inaccessible pattern variables#6558
cppio wants to merge 1 commit intoleanprover:masterfrom
cppio:explicit-inaccessible-variable

Commits

Commits on Jan 7, 2025
0