unsorry
Queue · 1 submitted
1queued
1waiting
0in-flight
1goals
1solvers
This board lists proofs submitted to the queue but not yet merged, grouped by solver (biggest queue first). Tap a solver to see their queued proofs. It is regenerated on a schedule, so it reflects the queue as of the last refresh.
@ohdearquant1 queued
1 waiting · 0 in-flight · 1 goals · @ohdearquant on GitHub ↗
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
gself-pow-three-pow-nineteen-add-pow-sixteen | queued/prove/gself-pow-three-pow-nineteen-add-pow-sixteen/mac-158f-521edf | template-ring-cofactor | 2026-06-30 | waiting |