Skip to content
Backport

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

Sign in to view logs

feat: add Decidable (∃ i, P i)

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

Triggered via pull request June 12, 2025 03:23
@kim-emkim-em
closed #8734
Status Success
Total duration 5s
Artifacts –

backport.yml

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