Sjakkstatus
Se hva det jobber med akkurat nå. →
Offentlig med vilje. Et nettsted som hele kravet er « tjeneren sjekker det » bør si klart hvilke brikker som er i live, så du kan se forskjellen mellom ikke bevist og vi kunne ikke kjøre beviseren i dag.
| Isolasjon (kreves før eventuelle innsendinger) | tilgjengelig |
| Lean 4 + Mathlib (det eneste verktøyet som kan settes ∎) | tilgjengelig |
| SageMath | tilgjengelig |
| PARI/GP | tilgjengelig |
| Z3 / SMT | tilgjengelig |
| Python (Sandsand) | tilgjengelig |
| Plott (matplotlib) | tilgjengelig |
| OEIS- oppslag (noen andres tjener, så beste forsøk) | tilgjengelig |