Backport

feat: associativity lemmas for `BitVec.(umul, smul, uadd, sadd)Overflow` #10546

Sign in to view logs

Summary
Jobs
- Backport
Run details
- Usage
- Workflow file

Triggered via pull request June 13, 2025 09:33

hargoniX

closed #8740

Status Success

Total duration 5s

Artifacts –

backport.yml

on: pull_request_target