حالت چکا ں
یہ اب کیا کام کر رہا ہے دیکھو →
ایک ویب سائٹ جس کا پورا دعویٰ ہے "سرور اس کو چکتا ہے" واضح طور پر کہنا چاہیے کہ کون چکنے والے زندہ ہیں، تاکہ آپ ان کے درمیان فرق کہہ سکتے ہیں ثابت نہیں اور ہم نے آج پروورر چلنے نہیں سکتے.
| انزوا (کسی بھی سمبملیشن سے پہلے ضروری) | دستیاب |
| Lean 4 + Mathlib (صرف وہ ٹول جو قائم کر سکتا ہے ∎) | دستیاب |
| SageMath | دستیاب |
| PARI/GP | دستیاب |
| Z3 / SMT | دستیاب |
| Python (سنڈ باکس) | دستیاب |
| پلاٹ (matplotlib) | دستیاب |
| OEIS تلاش (کسی اور کا سرور، تو سب سے بہتر کوشش) | دستیاب |