Skip to content
Backport

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

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 #9944

Triggered via pull request May 23, 2025 00:02
@kim-emkim-em
closed #8445
Status Success
Total duration 10s
Artifacts –

backport.yml

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