Nhazi
Gosi ihe ọ na-arụ ọrụ na ya ugbua →
Nnọọ n'ihe n'obi. Ebe nke ọbụla na-ekwu na ọ bụ "n'ebe ọrụ ahụ na-echegharị ya" ga-ekwu n'ụzọ doro anya na ndị na-echegharị bụ ndụ, ka ị wee nwee ike ịgwa ọdịiche n'etiti ha Enweghị ike igosi na anyị gaghị enwe ike igwunye onyenlereanya a.
| Nhazi (Ekwesịrị ka ọbụla n'ime n'ime) | dị́nụ́ |
| Lean 4 + Mathlib (otu tulee ahụ nwere ike ihazi ∎) | dị́nụ́ |
| SageMath | dị́nụ́ |
| PARI/GP | dị́nụ́ |
| Z3 / SMT | dị́nụ́ |
| Python (Sandboxed) | dị́nụ́ |
| Plọtà (matplotlib) | dị́nụ́ |
| Ónyénwē OEIS (Onye ọzọ's server, so best effort) | dị́nụ́ |