Skip to content

feat: add BitVec multiplication simp lemmas #8267

feat: add BitVec multiplication simp lemmas

feat: add BitVec multiplication simp lemmas #8267

check-lean-files

succeeded Jan 30, 2025 in 23s