Skip to content

[Merged by Bors] - perf(Translate): use cache in guessReorder#41516

Closed
JovanGerb wants to merge 1 commit into
leanprover-community:masterfrom
JovanGerb:Jovan-translate-guessReorder-perf
Closed

[Merged by Bors] - perf(Translate): use cache in guessReorder#41516
JovanGerb wants to merge 1 commit into
leanprover-community:masterfrom
JovanGerb:Jovan-translate-guessReorder-perf

Commits

Commits on Jul 8, 2026