Skip to content

fix(search,#13841): minimal rename Lean-18 -> Search-03e + README attribution fix - #14250

Merged
jsboige merged 1 commit into
mainfrom
fix/13841-minimal-rename-search03e
Sep 2, 2026
Merged

jsboige merged 1 commit into
mainfrom
fix/13841-minimal-rename-search03e

fix(search,#13841): minimal rename Lean-18 -> Search-03e + README att…

6dbe396
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar