Kontrollstatus
Se vad det fungerar på just nu →
Offentligt med avsikt. En webbplats vars hela anspråk är "servern kontrollerar det" bör tydligt säga vilka kontroller är live, så att du kan se skillnaden mellan inte bevisat och Vi kunde inte köra provaren idag..
| Isolering (krävs innan inlämningen påbörjas) | tillgängliga |
| Lean 4 + Mathlib (det enda verktyget som kan ställa in ∎) | tillgängliga |
| SageMath | tillgängliga |
| PARI/GP | tillgängliga |
| Z3 / SMT | tillgängliga |
| Python (sandlåda) | tillgängliga |
| Tomter (matplotlib) | tillgängliga |
| Uppslagning av OEIS (någon annans server, så bästa ansträngning) | tillgängliga |