وضعیت بررسی‌کننده
ببینید الان روی چی کار میکنه →
سایتی که ادعا می کنه سرور چک میکنه باید به وضوح بگید که کدام چک کننده ها فعال هستند تا شما بتونید تفاوت بین ثابت نشده و ما امروز نتونستيم آزمايش رو اجرا کنيم.
| جداسازي (قبل از هرگونه ارسالی که اجرا می‌شود لازم است) | موجود |
| Lean 4 + Mathlib (تنها ابزاري که مي تونه ∎) | موجود |
| SageMath | موجود |
| PARI/GP | موجود |
| Z3 / SMT | موجود |
| Python (جعبه شنی) | موجود |
| نمودار (matplotlib) | موجود |
| جستجوی OEIS (سرور يه نفر ديگه، پس بهترين تلاش رو ميکنيم) | موجود |