Kim Morrison 3a308324f6 chore: use ∅ notation in favour of .empty functions (#7446) ... This PR prefers using `∅` instead of `.empty` functions. We may later rename `.empty` functions to avoid the naming clash with `EmptyCollection`, and to better express semantics of functions which take an optional capacity argument.		2025-03-12 04:22:40 +00:00
..
AIG	chore: use ∅ notation in favour of .empty functions (#7446)	2025-03-12 04:22:40 +00:00
CNF	chore: rename List.maximum? to max? (#5518)	2024-09-29 06:23:24 +00:00
AIG.lean	chore: check-prelude also for Std (#5764)	2024-10-18 10:53:52 +00:00
CNF.lean	feat: import LeanSAT's tactic frontends	2024-08-28 18:14:39 +02:00