Skip to content

fix: expose Array equality for kernel reduction - #14270

Draft
kim-em wants to merge 1 commit into
leanprover:masterfrom
kim-em:expose-array-instdecidableeqimpl
Draft

fix: expose Array equality for kernel reduction#14270
kim-em wants to merge 1 commit into
leanprover:masterfrom
kim-em:expose-array-instdecidableeqimpl

fix: expose Array equality for kernel reduction

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