অবস্থা পরীক্ষাকারী
দেখুন, এটা এখন কি নিয়ে কাজ করছে →
একটি সাইট যার পুরো দাবি হচ্ছে "সার্ভার এটি পরীক্ষা করে" তার অবশ্যই স্পষ্টভাবে বলতে হবে কোন পরীক্ষাকারীরা সক্রিয়, যাতে আপনি তাদের মধ্যে পার্থক্য বুঝতে পারেন। প্রমাণিত নয় এবং আমরা আজকে প্রুভার চালাতে পারিনি.
| বিচ্ছিন্নতা (যেকোন সাবমিশন চালানোর পূর্বে প্রয়োজনীয়) | উপলব্ধ |
| Lean 4 + Mathlib (শুধুমাত্র টুল যা সেট করতে পারে ∎) | উপলব্ধ |
| SageMath | উপলব্ধ |
| PARI/GP | উপলব্ধ |
| Z3 / SMT | উপলব্ধ |
| Python (স্যান্ডবক্স) | উপলব্ধ |
| প্লট (matplotlib) | উপলব্ধ |
| OEIS অনুসন্ধান (অন্য কারো সার্ভার, তাই সর্বোচ্চ চেষ্টা) | উপলব্ধ |