Skip to content
Backport

feat: add simp lemma writing Vector.tail in terms of Vector.extract #9942

Sign in to view logs

feat: add simp lemma writing Vector.tail in terms of Vector.extract

feat: add simp lemma writing Vector.tail in terms of Vector.extract #9942

Triggered via pull request May 22, 2025 23:00
@kim-emkim-em
labeled #8445
Status Skipped
Total duration 2s
Artifacts –

backport.yml

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