Skip to content
Check for copyright header

feat: make BitVec.getElem the simp normal form and use it in ext #8899

Sign in to view logs

feat: make BitVec.getElem the simp normal form and use it in ext

feat: make BitVec.getElem the simp normal form and use it in ext #8899

Triggered via pull request February 14, 2025 07:32
@tobiasgrossertobiasgrosser
synchronize #5498
opencompl:getLsbD_eq_getElem_simp
Status Success
Total duration 38s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
28s
check-lean-files
Fit to window
Zoom out
Zoom in