Checker katayuan
Tingnan kung ano ito ay nagtatrabaho sa ngayon →
Ang isang site na ang buong claim ay "ang server ay tumitingin ito" ay dapat sabihin malinaw na kung aling mga checkers ay live, kaya maaari mong sabihin ang pagkakaiba sa pagitan ng hindi napatunayan at hindi namin maaaring patakbuhin ang prover ngayon.
| Pag-iisang-loob (kinakailangan bago ang anumang pagsusumite tumatakbo) | magagamit |
| Lean 4 + Mathlib (ang tanging tool na maaaring itakda ∎) | magagamit |
| SageMath | magagamit |
| PARI/GP | magagamit |
| Z3 / SMT | magagamit |
| Python (Sandboxed) | magagamit |
| Mga Plot (matplotlib) | magagamit |
| Talaan ng mga Obispo ng Olanda (server ng ibang tao, kaya pinakamahusay na pagsisikap) | magagamit |