Henrik Böving 9dbe5e6f9c refactor: bv_normalize simp set and implementation (#6639) ... This PR puts the `bv_normalize` simp set into simp_nf and splits up the bv_normalize implementation across multiple files in preparation for upcoming changes.		2025-01-14 12:06:01 +00:00
..
BVDecide	refactor: bv_normalize simp set and implementation (#6639)	2025-01-14 12:06:01 +00:00
BVDecide.lean	feat: import LeanSAT's tactic frontends	2024-08-28 18:14:39 +02:00