Checker status
Onani zimene zikuchitika pano →
Malo omwe akutsutsana ndi "server imayang'ana" ayenera kufotokoza mosasamala kanthu kuti ndi omwe akuyendera, kuti muthe kufotokoza kusiyana pakati pa sizikutsimikizika ndi tikhoza kuyendetsa prover lero.
| Kuletsa (zofunika pamaso pa chilichonse kutumiza amayenda) | yopezeka |
| Lean 4 + Mathlib (chokha chida chimene angapange ∎) | yopezeka |
| SageMath | yopezeka |
| PARI/GP | yopezeka |
| Z3 / SMT | yopezeka |
| Python (sandboxed) | yopezeka |
| Plots (matplotlib) | yopezeka |
| Kusaka kwa OEIS (server wina wina, choncho bwino ntchito) | yopezeka |