Tarkistajan tila
Sivuston, jonka koko väite on "palvelin tarkistaa sen", tulisi sanoa selvästi, mitkä tammet ovat suorassa lähetyksessä, jotta voit erottaa toisistaan ei todistettu sekä emme pystyneet tänään pyörittämään tokaisijaa.
| Eristys (vaaditaan ennen kuin mitään toimitusta suoritetaan) | saatavilla |
| Lean 4 + Mathlib (ainoa työkalu, jolla voi asettaa ∎) | saatavilla |
| SageMath | saatavilla |
| PARI/GP | saatavilla |
| Z3 / SMT | saatavilla |
| Python (hiekkalaatikko) | saatavilla |
| Tontti (matplotlib) | saatavilla |
| OEIS-haku (jonkun toisen palvelin, niin paras vaiva) | saatavilla |