unsorry

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.