Kontrolluesi i gjendjes
Shiko se çfarë po punon tani →
Një faqe e cila pretendon se "serveri e kontrollon atë" duhet të thotë qartë se cilat kontrollues janë në jetë, kështu që mund të dallosh ndryshimin midis nuk është provuar dhe Nuk mund të bëjmë provat sot..
| Izol (kërkohet para se të kryhet ndonjë dërgim) | në dispozicion |
| Lean 4 + Mathlib (instrumenti i vetëm që mund të vendosë ∎) | në dispozicion |
| SageMath | në dispozicion |
| PARI/GP | në dispozicion |
| Z3 / SMT | në dispozicion |
| Python (sandboxed) | në dispozicion |
| Plot (matplotlib) | në dispozicion |
| Kërko në OEIS (serveri i dikujt tjetër, kështu që përpjekja më e mirë) | në dispozicion |