Status pemeriksa
Lihat apa yang sedang dikerjakan sekarang →
Sebuah situs yang seluruh klaim adalah "Pemeriksaan server itu" harus mengatakan jelas mana yang checkers hidup, sehingga Anda dapat mengetahui perbedaan antara tidak terbukti dan kita tidak bisa menjalankan bukti hari ini.
| Isolasi (diperlukan sebelum pengiriman berjalan) | tersedia |
| Lean 4 + Mathlib (satu-satunya alat yang dapat mengatur ∎) | tersedia |
| SageMath | tersedia |
| PARI/GP | tersedia |
| Z3 / SMT | tersedia |
| Python (Sandboxed) | tersedia |
| Plot (matplotlib) | tersedia |
| OEIS lookup (server orang lain, jadi terbaik) | tersedia |