Durum kontrolü
Şu anda ne üzerinde çalıştığına bak. →
Tüm iddiası "sunucu kontrol ediyor" olan bir site, hangi kontrolcülerin canlı olduğunu açıkça söylemeli, böylece ikisinin arasındaki farkı söyleyebilirsin. kanıtlanmadı ve Bugün testleri yapamadık..
| Yalıtılmış. (herhangi bir gönderme yürütülmeden önce gerekli) | mevcut |
| Lean 4 + Mathlib (tek araç ∎) | mevcut |
| SageMath | mevcut |
| PARI/GP | mevcut |
| Z3 / SMT | mevcut |
| Python (kum kutusu) | mevcut |
| Çiz (matplotlib) | mevcut |
| OEIS arama (Başka birinin sunucusu, o yüzden en iyi çabayı gösterin) | mevcut |