Бүтэцийг шалгах
Одоо юу хийж байгаагаа харах →
Зөвхөн нийтэд зориулсан. "Хэрэглэгч сервер нь шалгана" гэсэн утгатай сайтууд ямар шалгагч нь идэвхтэй байгааг тодорхой заах хэрэгтэй. Ингэснээр та хоёрын ялгааг ойлгох боломжтой болно. баталгаагүй ба өнөөдөр бид шалгагчийг ажиллуулахгүй байна.
| Хослол (ямар ч илгээлтийг гүйцэтгэхээс өмнө шаардагдах) | ашиглагдаж байна |
| Lean 4 + Mathlib (зөвхөн энэ хэрэгслээр л тохируулж болно ∎) | ашиглагдаж байна |
| SageMath | ашиглагдаж байна |
| PARI/GP | ашиглагдаж байна |
| Z3 / SMT | ашиглагдаж байна |
| Python (элсний хайрцаг) | ашиглагдаж байна |
| Зураг (matplotlib) | ашиглагдаж байна |
| OEIS хайлт (Бусад сервер, хамгийн сайн хичээх) | ашиглагдаж байна |