feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems#6326
Draft
luisacicolini wants to merge 18 commits intoleanprover:masterfrom opencompl:msb-replicate
+82
Commits
Commits on Nov 20, 2024
- committed
Commits on Nov 21, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Nov 25, 2024
Commits on Nov 27, 2024
Commits on Dec 6, 2024
Commits on Dec 9, 2024
- committed
- committed