Skip to content

perf: empty array - #15016

Draft
TwoFX wants to merge 1 commit into
leanprover:masterfrom
TwoFX:julia/empty-array
Draft

perf: empty array#15016
TwoFX wants to merge 1 commit into
leanprover:masterfrom
TwoFX:julia/empty-array

perf: empty array

1c51097
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-body
succeeded Sep 4, 2026 in 5s