Skip to content

fix: expose Array.ofFn for kernel reduction - #14989

Open
kim-em wants to merge 1 commit into
leanprover:masterfrom
kim-em:expose-array-offn
Open

fix: expose Array.ofFn for kernel reduction#14989
kim-em wants to merge 1 commit into
leanprover:masterfrom
kim-em:expose-array-offn

fix: expose Array.ofFn for kernel reduction

11b831e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Sep 1, 2026 in 5s