Check for copyright header

feat: add `BitVec.umulOverflow` and `BitVec.smulOverflow` definitions and additional theorems #9142

Sign in to view logs

Triggered via pull request February 18, 2025 14:50

synchronize #6949

opencompl:overflow-mul-defs

Status Success

Total duration 32s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files