Status kontroli
Publiczność na cel. Strona, której całym roszczeniem "serwator sprawdza" powinna powiedzieć wyraźnie, które szechy są na żywo, więc można powiedzieć różnicę między nie udowodniono oraz Nie możemy dziś prowadzić dowodu..
| Oddzielność (wymagane przed dokonaniem jakiegokolwiek przedłożenia) | dostępny |
| Lean 4 + Mathlib (jedyne narzędzie, które może ustawić ∎) | dostępny |
| SageMath | dostępny |
| PARI/GP | dostępny |
| Z3 / SMT | dostępny |
| Python (piaskownia) | dostępny |
| Wykresy (matplotlib) | dostępny |
| OEIS wyszukiwanie (czyjś serwer, więc najlepsza praca) | dostępny |