ચકાસણી સ્થિતિ
હેતુ પર જાહેર. સાઇટ જેનો સમગ્ર દાવો "સર્વર તેને ચકાસે છે" એવો છે તે સ્પષ્ટપણે કહેવી જોઇએ કે જે ચકાસનારાઓ સક્રિય છે, તેથી તમે વચ્ચેનો તફાવત કહી શકો છો સાબિત થયેલ નથી અને અમે આજે ચકાસનાર ચલાવી શક્યા નહિં.
| અલગ પાડો (કોઈપણ સબમિટ ચલાવવા પહેલાં જરૂરી છે) | ઉપલબ્ધ |
| Lean 4 + Mathlib (ફક્ત સાધન કે જે સુયોજિત કરી શકાય છે ∎) | ઉપલબ્ધ |
| SageMath | ઉપલબ્ધ |
| PARI/GP | ઉપલબ્ધ |
| Z3 / SMT | ઉપલબ્ધ |
| Python (સેન્ડબોક્સ થયેલ) | ઉપલબ્ધ |
| પ્લોટ્સ (matplotlib) | ઉપલબ્ધ |
| OEIS શોધ (બીજા કોઈનું સર્વર, તેથી શ્રેષ્ઠ પ્રયત્ન) | ઉપલબ્ધ |