Skip to content

fix: make lia and Nat offset simproc proofs cheap to check in the kernel - #16319

Merged
leodemoura merged 2 commits into
masterfrom
lia-kernel-timeout
Nov 7, 2026
Merged

fix: make lia and Nat offset simproc proofs cheap to check in the kernel#16319
leodemoura merged 2 commits into
masterfrom
lia-kernel-timeout

fix: keep `Nat.reduceSubDiff` off where `Init.Data.Nat.Simproc` is no…

19b1472
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar