Stav kontroly
Podívej se, na čem to právě pracuje. →
Na veřejnosti naschvál. Stránka, jejíž celý nárok je "server kontroluje to" by měla jasně říci, které dámy jsou živé, takže můžete říct rozdíl mezi neprokázalo se a Dneska jsme nemohli řídit dokazovatele..
| Izolace (požadované před zahájením každého podání) | dostupný |
| Lean 4 + Mathlib (jediný nástroj, který může nastavit ∎) | dostupný |
| SageMath | dostupný |
| PARI/GP | dostupný |
| Z3 / SMT | dostupný |
| Python (pískoviště) | dostupný |
| Záhony (matplotlib) | dostupný |
| Vyhledávání OEIS (server někoho jiného, takže nejlepší úsilí) | dostupný |