Skip to content
Backport

chore: cleanup simp lemmas, following the simpNF linter #10015

Sign in to view logs

chore: cleanup simp lemmas, following the simpNF linter

chore: cleanup simp lemmas, following the simpNF linter #10015

Triggered via pull request May 26, 2025 04:35
@kim-emkim-em
closed #8481
Status Success
Total duration 11s
Artifacts –

backport.yml

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