Kim Morrison 8c6ac845b1 chore: cleanup after export Bool.and/or/not/xor		2024-09-16 12:45:51 +10:00
..
AIG	chore: cleanup after export Bool.and/or/not/xor	2024-09-16 12:45:51 +10:00
CNF	feat: deprecate _root_.or/and/not/xor	2024-09-16 12:45:51 +10:00
AIG.lean
CNF.lean	feat: import LeanSAT's tactic frontends	2024-08-28 18:14:39 +02:00