Kontrollija olek
Vaatame, millega see praegu töötab. →
Avalik meelega. Saidi, mille kogu väide on "server kontrollib seda" peaks ütlema selgelt, millised kabe on elus, nii et saate teha vahet ei ole tõestatud ning Me ei saanud täna tõestada..
| Eraldamine (nõutav enne mis tahes esitamist) | kättesaadav |
| Lean 4 + Mathlib (ainus vahend, mis saab määrata ∎) | kättesaadav |
| SageMath | kättesaadav |
| PARI/GP | kättesaadav |
| Z3 / SMT | kättesaadav |
| Python (liivakastiga) | kättesaadav |
| Joonised (matplotlib) | kättesaadav |
| OIS- i otsing (kellegi teise server, nii et parim pingutus) | kättesaadav |