Skip to content

feat(Query): query complexity framework with sorting examples - #401

Open
kim-em wants to merge 91 commits into
leanprover:mainfrom
kim-em:combined-query-complexity
Open

feat(Query): query complexity framework with sorting examples#401
kim-em wants to merge 91 commits into
leanprover:mainfrom
kim-em:combined-query-complexity

deduplicate

f40241d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 10, 2026 in 4s