Skip to content

add detector from using Classical.choice #528

add detector from using Classical.choice

add detector from using Classical.choice #528

Triggered via push March 10, 2025 10:41
Status Success
Total duration 1m 34s
Artifacts

check_proofs.yml

on: push
Fit to window
Zoom out
Zoom in