Probleme deschise
Probleme cu recompensă declarată și criteriu de acceptare verificabil. Custodia nu e conectată încă: recompensele de aici sunt declarate de client, nu ținute la un procesator.
| Titlu | Recompensă (declarată) | Termen | Treapta de verificare | Stare |
|---|---|---|---|---|
| Example / Exemplu: n + m = m + n in Lean 4 (no reward) | — | — | 0b | deschisă |