lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard
verified publisher icon leanprover

refactor: grind AIG proofs into dust

Open hargoniX opened this issue 1 month ago • 2 comments

hargoniX avatar Dec 11 '25 15:12 hargoniX

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 6469890178986678af97999948b0dd7173554af2 --onto 19e1fe55f33a8aadc4243da32828b70a4b4677cc. You can force Mathlib CI using the force-mathlib-ci label. (2025-12-11 17:54:11)

leanprover-community-bot avatar Dec 11 '25 17:12 leanprover-community-bot

Reference manual CI status:

  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase 6469890178986678af97999948b0dd7173554af2 --onto eee58f4506d28a14c9a171165f999445a0663d93. You can force reference manual CI using the force-manual-ci label. (2025-12-11 17:54:13)

leanprover-bot avatar Dec 11 '25 17:12 leanprover-bot