Skip to content
Backport

feat: add Decidable (∃ i, P i) #10494

Sign in to view logs

feat: add Decidable (∃ i, P i)

feat: add Decidable (∃ i, P i) #10494

Triggered via pull request June 12, 2025 02:35
@kim-emkim-em
labeled #8734
Status Skipped
Total duration 1s
Artifacts –

backport.yml

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