Repository navigation

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

Merged

leodemoura merged 2 commits into

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

Commits on Nov 6, 2026
- fix: make `lia` and `Nat` offset simproc proofs cheap to check in the kernel
  
  leodemoura
  and
  claude
  committed
  187f751
Commits on Nov 7, 2026
- fix: keep `Nat.reduceSubDiff` off where `Init.Data.Nat.Simproc` is not imported
  
  leodemoura
  and
  claude
  committed
  19b1472