チェッカーの状態
サーバがチェックするという主張をするサイトは、 どのチェッカーがライブか明確に示すべきです。 証明されてない それに 今日はプロヴァーを 実行できませんでした.
| 隔離 (必要なのは) | 利用可能 |
| Lean 4 + Mathlib (唯一のツールである ∎) | 利用可能 |
| SageMath | 利用可能 |
| PARI/GP | 利用可能 |
| Z3 / SMT | 利用可能 |
| Python (サンドボックス化) | 利用可能 |
| プロット (matplotlib) | 利用可能 |
| OEIS検索 (他人のサーバーだから 頑張って) | 利用可能 |