Tobias Grosser 368adaf847 feat: add BitVec.[toInt_inj|toInt_ne] (#4075) ... Co-authored-by: Kim Morrison <scott@tqft.net>		2024-05-10 00:57:00 +00:00
..
Basic.lean	chore: update Authors: line in BitVec files (#3948)	2024-04-19 08:07:25 +00:00
Bitblast.lean	feat: equivalence of bit-vector negation and bitblasted negation (#3920)	2024-05-06 06:03:28 +00:00
Folds.lean	feat: equivalence of bit-vector negation and bitblasted negation (#3920)	2024-05-06 06:03:28 +00:00
Lemmas.lean	feat: add BitVec.[toInt_inj|toInt_ne] (#4075)	2024-05-10 00:57:00 +00:00