Skip to content

feat: remaining introduction patterns and case destruction patterns - #496

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

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

Commits

Commits on Jun 30, 2026

Commits on Jul 2, 2026

Commits on Jul 3, 2026

Commits on Jul 21, 2026

Commits on Jul 27, 2026