Checker status
Ona kuti chii chiri kuitwa parizvino →
A site uyo wose mashoko nde "server inoongorora" anofanira kutaura zvakajeka kuti ndeapi checkers vari kurarama, saka unogona kutaura kusiyana pakati pe hachisi chinhu uye isu hatina kukwanisa kuvhura proofer nhasi.
| Kuzviisa Pazvinenge (required before any submission runs) | available |
| Lean 4 + Mathlib (chete chirongwa kuti anogona kuiswa ∎) | available |
| SageMath | available |
| PARI/GP | available |
| Z3 / SMT | available |
| Python (sandboxed) | available |
| Plots (matplotlib) | available |
| OEIS kutsvagisa (server yemunhu mumwe, saka edza) | available |