A kezelő státusa
Nézd meg, min dolgozik most. →
Egy olyan oldal, amelynek egész állítása "a szerver ellenőrzi" egyértelműen meg kell mondani, hogy melyik dáma élő, így meg lehet mondani a különbséget nem bizonyított valamint Ma nem tudtuk lefuttatni a bizonyítékát..
| Elszigetelés (a benyújtás előtt szükséges) | rendelkezésre álló |
| Lean 4 + Mathlib (az egyetlen eszköz, amely beállít ∎) | rendelkezésre álló |
| SageMath | rendelkezésre álló |
| PARI/GP | rendelkezésre álló |
| Z3 / SMT | rendelkezésre álló |
| Python (homokozóval) | rendelkezésre álló |
| Plets (matplotlib) | rendelkezésre álló |
| OEIS keresés (Valaki más szerverét, szóval minden jót.) | rendelkezésre álló |