الطابور

كل ما يقوم به المدققون يمر عبر صف واحد، وهذا هو الأمر. لا شيء هنا محاكاة: هذه هي الوظائف على الصندوق الآن.

تشغيل الآن

انتظر

0 ms

لتحرير الصف

متوقفة للحساب

التشغيل

غير نشط - تبدأ المهمة المقدمة الآن فوراً.

في انتظار (0 الأولوية, 0 مجاني)

لا شيء ينتظر

المسار السريع، وما هو غير ذلك

وظيفة واحدة من وظائف Lean تجري في كل مرة (Mathlib هو ذاكرة جوع وهذه الصندوق مشترك)، لذلك عندما يقدم العديد من الناس في وقت واحد، هناك خط.

ويُقدم الخدمة أولا لأي حساب يحتوي على رصيد مدفوع سلفا. هذه هي الآلية بالكامل؛ ولا يوجد منتج منفصل يمكن شراؤه. ولا يتعرض السير الحر أبداً للحظر أو الخنق أو التدهور بسببها (بل يتم تجاوزه فقط)، ولا يزال يسير، بشكل منظم، في الممر الحر.

والسبب وراء عمل الآلة على هذا النحو هو أن الأشخاص الذين يمولون الآلة يدفعون للشيكات التي يحصل عليها كل شخص آخر بلا مقابل. إن تخطي الصف هو الشيء الوحيد الذي يشتري، وهو لا يشتري أي شيء آخر.

أضف رصيد لتجاوز الصف حسابك

انتهيت للتو

أداة	النتيجة	لقد أخذت	لـدى
`python`	الرتبة	3.8 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	الرتبة	1.3 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	الرتبة	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	الرتبة	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	الرتبة	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	الرتبة	135 ms	$\int_0^1\kappa(x)^2[x(1-x)]^{-2/3}\,dx=\frac{5\sqrt3\,\Gamma(1/3)^9}{2^{11/3}\pi^5}$ , via the CM newform $\eta(3\tau)^8$
`lean`	∎ تم التحقق منها	9.2 s	تعليق
`lean`	∎ تم التحقق منها	15.9 s	تعليق
`python`	الرتبة	28 ms	تعليق
`lean`	مرفوض	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ تم التحقق منها	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ تم التحقق منها	8.4 s	A simple proof, hope it works

كم من الوقت يستغرق كل اختبار عادة هنا

مقيسة من هذا الصندوق الـ 20 تشغيلا الأخيرة لكل أداة، غير مقدرة

أداة	نمطي
`lean`	13.7 s
`sage`	15.0 s
`pari`	329 ms
`smt`	22.5 s
`python`	3.2 s
`oeis`	7.5 s
`plot`	15.0 s

الطابور

التشغيل

في انتظار (0 الأولوية, 0 مجاني)

المسار السريع، وما هو غير ذلك

انتهيت للتو

كم من الوقت يستغرق كل اختبار عادة هنا

انضم إلى المحادثة.

أرسل لنا تعليقاتك