Skip to content

add detector from using Classical.choice #530

add detector from using Classical.choice

add detector from using Classical.choice #530

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

check_proofs.yml

on: push
Fit to window
Zoom out
Zoom in