Skip to content
Backport

feat: equivalence of bit-vector negation and bitblasted negation #2004

Sign in to view logs

feat: equivalence of bit-vector negation and bitblasted negation

feat: equivalence of bit-vector negation and bitblasted negation #2004

Triggered via pull request April 19, 2024 07:38
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
labeled #3920
Status Skipped
Total duration 1s
Artifacts –

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in