Kim Morrison 3f8e3e726d feat: some BitVec GetElem lemmas (#5361)		2024-09-16 11:30:05 +00:00
..
Basic.lean	feat: add BitVec.getElem_truncate (#5278)	2024-09-16 08:59:33 +00:00
Bitblast.lean	chore: remove BitVec simps with complicated RHS (#5240)	2024-09-03 06:27:05 +00:00
Folds.lean	feat: proposed change to BitVec API (#5200)	2024-08-30 02:00:57 +00:00
Lemmas.lean	feat: some BitVec GetElem lemmas (#5361)	2024-09-16 11:30:05 +00:00