Open problems
Problems with a declared reward and a verifiable acceptance criterion. Custody is not connected yet: rewards shown here are declared by the client, not held by a processor.
| Title | Reward (declared) | Deadline | Verification rung | State |
|---|---|---|---|---|
| Example / Exemplu: n + m = m + n in Lean 4 (no reward) | — | — | 0b | open |