Ҳолатни текшириш
Ҳозир нима устида ишлаётганини кўриш →
Мақсадли равишда жамоат. "сервер текширади" деб эълон қилган сайт қайси текширувчилар ишлаётганини очиқ-ойдин айтиб қўйиши керак, шунинг учун сиз улар орасидаги фарқни билиб оласиз. исботланмаган ва бугунги кунда текширувни амалга ошириш мумкин эмас.
| Айрилиқ (Ҳар қандай топшириш амалга оширилишидан олдин талаб қилинади) | мавжуд |
| Lean 4 + Mathlib (Танлаш мумкин бўлган ягона асбоб ∎) | мавжуд |
| SageMath | мавжуд |
| PARI/GP | мавжуд |
| Z3 / SMT | мавжуд |
| Python (қумли) | мавжуд |
| Графиклар (matplotlib) | мавжуд |
| OEIS қидирув (бошқа сервер, шунинг учун энг яхши уриниш) | мавжуд |