Staðsetning
Sjáðu hvað það er að vinna á núna →
Vefsvæði sem fullyrðir að „þjónninn athugi það“ ætti að segja greinilega hvaða skoðunarmenn eru í gangi, svo þú getir sagt muninn á því hvort þeir séu opinberir eða ekki. ekki sannað og Við gátum ekki keyrt prover í dag.
| Einangrun (krafist áður en einhver framlagning keyrir) | tiltækt |
| Lean 4 + Mathlib (Eina tól sem hægt er að setja ∎) | tiltækt |
| SageMath | tiltækt |
| PARI/GP | tiltækt |
| Z3 / SMT | tiltækt |
| Python (sandkassi) | tiltækt |
| Graf (matplotlib) | tiltækt |
| OEIS leit (miðlara einhvers annars, svo besta viðleitni) | tiltækt |