Status Pemeriksa
Lihat apa yang ia sedang lakukan sekarang →
Awam dengan sengaja. Tapak yang seluruh tuntutannya adalah "pelayan memeriksanya" harus mengatakan dengan jelas periksa mana yang hidup, jadi anda boleh katakan perbezaan antara tidak diuji dan kami tidak boleh jalankan penilai hari ini.
| Isolasi (diperlukan sebelum sebarang penyerahan dilaksanakan) | tersedia |
| Lean 4 + Mathlib (satu-satunya alat yang boleh ditetapkan ∎) | tersedia |
| SageMath | tersedia |
| PARI/GP | tersedia |
| Z3 / SMT | tersedia |
| Python (kotak pasir) | tersedia |
| Plot (matplotlib) | tersedia |
| Carian OEIS (pelayan orang lain, jadi usaha terbaik) | tersedia |