Санҷиши ҳолати система
Нишон диҳед, ки он дар айни замон чӣ кор мекунад →
Маълумотҳои умумӣ. Сайте, ки тамоми талаботаш "сервер онро тафтиш мекунад" бояд ба таври равшан нишон диҳад, ки кадом тафтишкунандаҳо фаъоланд, то шумо фарқиятро дар байни онҳо муайян кунед озмоиш нашудааст ва мо имрӯз наметавонем озмоишро иҷро кунем.
| Хомӯш кардан (пеш аз иҷрои ягон пешниҳод зарур аст) | дастрас |
| Lean 4 + Mathlib (танҳо асбобе, ки метавонад танзим шавад ∎) | дастрас |
| SageMath | дастрас |
| PARI/GP | дастрас |
| Z3 / SMT | дастрас |
| Python (дар қуттии регӣ) | дастрас |
| График (matplotlib) | дастрас |
| Ҷустуҷӯи OEIS (сервери дигаре, аз ин рӯ кӯшиш кунед) | дастрас |