Stav kontroly
Pozrite sa, na čom práve pracuje →
Stránka, ktorá tvrdí, že "server to kontroluje", by mala jasne povedať, ktoré kontroly sú nažive, aby ste vedeli rozlíšiť medzi tým, ktoré sú nažive a ktoré nie. nedokázané a Dnes sme nemohli spustiť verifikáciu.
| Izolácia (Vyžadované pred spustením akéhokoľvek odoslania) | k dispozícii |
| Lean 4 + Mathlib (Jediný nástroj, ktorý môže nastaviť ∎) | k dispozícii |
| SageMath | k dispozícii |
| PARI/GP | k dispozícii |
| Z3 / SMT | k dispozícii |
| Python (sandboxed) | k dispozícii |
| Ploty (matplotlib) | k dispozícii |
| Vyhľadávanie v OEIS (Niekoho iného server, takže najlepšie úsilie) | k dispozícii |