Skip to content

feat: remaining specialisation patterns - #500

Open
alvinylt wants to merge 92 commits into
leanprover-community:masterfrom
ISTA-PLV:SpecPats
Open

feat: remaining specialisation patterns#500
alvinylt wants to merge 92 commits into
leanprover-community:masterfrom
ISTA-PLV:SpecPats

Commits

Commits on Jul 7, 2026

Commits on Jul 8, 2026

Commits on Jul 12, 2026

Commits on Jul 27, 2026

Commits on Jul 30, 2026