Tikrintojo statusas
Viešas tikslui. Svetainė, kurios visas pretenzijos yra "serverio tikrina ją" turėtų aiškiai pasakyti, kurie tikrintojai yra gyvas, todėl jūs galite pasakyti skirtumą tarp neįrodytas ir Mes negalėjome paleisti įrodytoją šiandien.
| Izoliavimas (reikalaujama prieš bet kokius pateikimo terminus) | yra |
| Lean 4 + Mathlib (vienintelis įrankis, kurį galima nustatyti ∎) | yra |
| SageMath | yra |
| PARI/GP | yra |
| Z3 / SMT | yra |
| Python (smėlio dėžė) | yra |
| Plotai (matplotlib) | yra |
| OEIS pažiūrėjimas (Kažko kito serveris, todėl geriausia stengtis) | yra |