Isimo sokuhlola
Bonani ukuthi yini esebenza ngayo manje →
I-site ecela yonke into ukuthi "i-server ihlola" kufanele itshele ngokucacile ukuthi abahlola bangaphila, ngakho ungachaza ushintsho phakathi ayiqinisekiswanga futhi singasebenzisi i-prover namhlanje.
| Ukuhlukaniswa (idinga ngaphambi kokuba noma iyiphi inqubekela phambili iphume) | ikhona |
| Lean 4 + Mathlib (ithuluzi elilodwa elikwazi ukuhlela ∎) | ikhona |
| SageMath | ikhona |
| PARI/GP | ikhona |
| Z3 / SMT | ikhona |
| Python (ibhokisi le-sandbox) | ikhona |
| Amaphuzu (matplotlib) | ikhona |
| Ukubuka i-OEIS (isisebenzisi somngani, ngakho-ke yenza konke okusemandleni akho) | ikhona |