Skip to content

fix: format choice nodes from duplicate syntax without uncaught backtrack - #14696

Open
jcreinhold wants to merge 2 commits into
leanprover:masterfrom
jcreinhold:fix-formatter-choice-node
Open

fix: format choice nodes from duplicate syntax without uncaught backtrack#14696
jcreinhold wants to merge 2 commits into
leanprover:masterfrom
jcreinhold:fix-formatter-choice-node

Commits

  1. Commits on Aug 5, 2026

  2. Commits on Aug 17, 2026