Статус текшергичи
Азыр эмне менен алектенип жатканын көрүү →
Public on purpose. A site whose whole claim is "the server checks it" should say plainly which checkers are live, so you can tell the difference between текшерилбеген жана бүгүн proofer иштетилбей калды.
| Айырмалоо (эч кандай тапшырма аткарылбай турган болсо) | жеткиликтүү |
| Lean 4 + Mathlib (бир гана орнотулган аспап ∎) | жеткиликтүү |
| SageMath | жеткиликтүү |
| PARI/GP | жеткиликтүү |
| Z3 / SMT | жеткиликтүү |
| Python (жарым-жартылай) | жеткиликтүү |
| Графиктер (matplotlib) | жеткиликтүү |
| OEIS издөө (башка бирөөнүн сервери, андыктан аракет кылыңыз) | жеткиликтүү |