Күй- жайын тексеру
Қазір не істеп жатқанын қараңыз →
Ашық деп белгіленген. "Сервер тексереді" деген сайтта қай тексерушілер тірі екенін көрсетіп, олардың айырмашылығын ажырата аласыз. сыналмаған және бүгін тексеру орындалмады.
| Айырылу (кез келген жіберу алдында керек) | қол жеткізер |
| Lean 4 + Mathlib (бір ғана құрал орната алады ∎) | қол жеткізер |
| SageMath | қол жеткізер |
| PARI/GP | қол жеткізер |
| Z3 / SMT | қол жеткізер |
| Python (құмды) | қол жеткізер |
| Диаграммалар (matplotlib) | қол жеткізер |
| OEIS іздеу (басқа сервер, сондықтан бар күшін салу керек) | қол жеткізер |