Skip to content

refactor: grind AIG proofs into dust #18586

refactor: grind AIG proofs into dust

refactor: grind AIG proofs into dust #18586

check-awaiting-mathlib

succeeded Dec 11, 2025 in 2s