Skip to content

feat: remaining introduction patterns and case destruction patterns#496

Open
alvinylt wants to merge 64 commits into
leanprover-community:masterfrom
ISTA-PLV:IntroPats
Open

feat: remaining introduction patterns and case destruction patterns#496
alvinylt wants to merge 64 commits into
leanprover-community:masterfrom
ISTA-PLV:IntroPats

Code formatting: use `unless ... do ...`

9f3cf7e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-math
succeeded Jul 22, 2026 in 3m 57s