Skip to content

feat: add BitVec multiplication simp lemmas#6718

Merged
hargoniX merged 3 commits intoleanprover:masterfrom vlad902:neg-mulJan 30, 2025

Commits

Commits on Jan 30, 2025