Status tal-verifikatur
Ara x'qed jaħdem fuqu bħalissa →
Sit li l-argument kollu tiegħu huwa "is-server jiċċekkjah" għandu jgħid b'mod ċar liema ċekkers huma ħajjin, sabiex tkun tista' tgħid id-differenza bejn il-kontrolluri u l-kontrolluri li mhumiex ħajjin. mhux ippruvat u ma nistgħux imexxu l-prover illum.
| Iżolament (meħtieġa qabel ma kwalunkwe sottomissjoni runs) | disponibbli |
| Lean 4 + Mathlib (l-unika għodda li jistgħu jistabbilixxu ∎) | disponibbli |
| SageMath | disponibbli |
| PARI/GP | disponibbli |
| Z3 / SMT | disponibbli |
| Python (sandboxed) | disponibbli |
| Plots (matplotlib) | disponibbli |
| Tfittxija fl-OEIS (server xi ħadd ieħor, hekk aħjar sforz) | disponibbli |