Skip to content

fix(Foundations): add noWs guard to well-formed postfix notation#675

Open
VitaliPath wants to merge 2 commits into
leanprover:mainfrom
VitaliPath:fix/well-formed-notation-collision
Open

fix(Foundations): add noWs guard to well-formed postfix notation#675
VitaliPath wants to merge 2 commits into
leanprover:mainfrom
VitaliPath:fix/well-formed-notation-collision

test(Syntax): add regression test for well-formed notation collision

c9b0b48
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jun 22, 2026 in 4s