Kontrolstatus
Se hvad det arbejder på lige nu →
Offentligt med vilje. Et websted, hvis hele påstand er "serveren kontrollerer det" bør klart sige, hvilke dam er levende, så du kan se forskellen mellem ikke bevist og Vi kunne ikke køre den i dag.
| Isolation (kræves, før indsendelsen løber) | tilgængelig |
| Lean 4 + Mathlib (det eneste værktøj der kan indstilles ∎) | tilgængelig |
| SageMath | tilgængelig |
| PARI/GP | tilgængelig |
| Z3 / SMT | tilgængelig |
| Python (sandkasse) | tilgængelig |
| Plots (matplotlib) | tilgængelig |
| Opslag i OEIS (en andens server, så giv en god indsats) | tilgængelig |