Skip to content
Backport

feat: grind annotations for List/Array/Vector.finRange theorems #10515

Sign in to view logs

feat: grind annotations for List/Array/Vector.finRange theorems

feat: grind annotations for List/Array/Vector.finRange theorems #10515

Triggered via pull request June 12, 2025 18:15
@kim-emkim-em
closed #8747
Status Success
Total duration 7s
Artifacts –

backport.yml

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