حالة التحقق
انظروا ماذا يعملون عليه الآن →
الموقع الذي يدعي كله أن "الخادم يقوم بالتحقق منه" يجب أن يذكر بوضوح أي من المحققين هو على قيد الحياة، حتى يمكنك معرفة الفرق بين غير مدعمة بالأدلة و لم نستطع تشغيل المثبت اليوم.
| العزل (مطلوب قبل تقديم أي طلب) | متاحة |
| Lean 4 + Mathlib (الأداة الوحيدة التي يمكن أن تحدد ∎) | متاحة |
| SageMath | متاحة |
| PARI/GP | متاحة |
| Z3 / SMT | متاحة |
| Python (صندوق رمل) | متاحة |
| قطع أرض (matplotlib) | متاحة |
| البحث في OEIS (خادم شخص آخر، لذا أفضل جهد) | متاحة |