Kim Morrison a47c590a91 chore: make some AIG simps local (#5212) ... These had leaked out and were being noticed by the confluence tool. Better to just make them local.		2024-08-30 02:50:53 +00:00
..
AIG	chore: make some AIG simps local (#5212)	2024-08-30 02:50:53 +00:00
CNF	feat: import LeanSAT's tactic frontends	2024-08-28 18:14:39 +02:00
AIG.lean
CNF.lean	feat: import LeanSAT's tactic frontends	2024-08-28 18:14:39 +02:00