feat(Combinatorics): designs exist - #521

Open

alreadydone wants to merge 8 commits into

leanprover:mainfrom

alreadydone:DesignsExist

Commits on Aug 13, 2026

feat(Combinatorics): designs exist
alreadydone
committed
7a4b619
.lean suffix
alreadydone
committed
89cbbba
toml
alreadydone
committed
2f17a0b
more refs + 1 more problem
alreadydone
committed
f9fc155
Update holes list in designs_exist.toml
alreadydone
committed
5de4392
@[eval_problem] on separate line
alreadydone
committed
005ca77

Commits on Aug 21, 2026

fix(Combinatorics): require r < q in the design existence statements

kim-em
and
claude
committed
673d6a8
chore: add catalog lifecycle metadata to the manifest

kim-em
and
claude
committed
3936cd8