Стање контроле
Сајт чији је тврдња "сервер га проверава" треба јасно да каже који дамама су уживо, тако да можете да видите разлику између није доказано и Данас нисмо могли да покренемо доказивач..
| Изолација (неопходно пре него што било ко покрене) | доступна |
| Lean 4 + Mathlib (једини алат који може да поставља ∎) | доступна |
| SageMath | доступна |
| PARI/GP | доступна |
| Z3 / SMT | доступна |
| Python (запешчано) | доступна |
| Списци (matplotlib) | доступна |
| ОЕИС потражња (нечији сервер, тако да је најбољи напор) | доступна |