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