Стан перевірки
Подивитися над чим це працює прямо зараз →
З метою оприлюднення. сайт, який повністю заявляє, що " сервер перевіряє його," повинен чітко вказати, які шашки є живими, отже ви можете визначити різницю між не перевірено і ми не могли запустити сьогодні.
| Ізоляція (потрібен перед виконанням будь- якого з підкорення) | доступні |
| Lean 4 + Mathlib (Єдиний інструмент, який може встановити ∎) | доступні |
| SageMath | доступні |
| PARI/GP | доступні |
| Z3 / SMT | доступні |
| Python (З пісочниці) | доступні |
| Графіки (matplotlib) | доступні |
| Пошук OEIS (чийсь сервер, отже, найкращий обсяг робіт) | доступні |