Skip to content

feat(Combinatorics): designs exist - #521

Open
alreadydone wants to merge 8 commits into
leanprover:mainfrom
alreadydone:DesignsExist
Open

feat(Combinatorics): designs exist#521
alreadydone wants to merge 8 commits into
leanprover:mainfrom
alreadydone:DesignsExist

chore: add catalog lifecycle metadata to the manifest

3936cd8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Classify changes
succeeded Aug 21, 2026 in 21s