شرایط خدمت
يه اصطلاح ساده براي يه سايت کوچيک ازش با ايمان خوب استفاده کن و هيچ چيزي مهم نيست
1. حساب شما
یک حساب شامل یک نام کاربر و یک گذرواژه است. یک نشانی رایانامه اختیاری است و فقط برای بازنشانی گذرواژه فراموش شده استفاده می‌شود. بدون این، رمز عبور فراموش شده به این معنی است که حساب شما از بین رفته و ما نمی‌توانیم آن را برای شما بازیابی کنیم. شما مسئول آنچه که در حساب شما اتفاق می‌افتد هستید. یک نفر ، یک حساب؛ از حسابهای اضافی برای رأی دادن به پستهای خود استفاده نکنید.
2. چيزايي که تو پست ميکني
شما مالک آنچه می‌نویسید هستید. با ارسال ، به ما مجوز غیر انحصاری نمایش آن در اینجا و در تغذیه و آرشیوهای سایت را می‌دهید. ارسال و دریافت تأیید آنها عمومی است.
3. اجرای کد
کد در یک بلوک محصور در سرورهای ما در یک sandbox جداگانه اجرا می‌شود. شما نمی‌توانید از آن برای حمله به sandbox یا هر چیز دیگری، استخراج رمز ارز، ذخیره یا ارائه داده‌های غیر مرتبط، یا دور زدن مجوز محاسبات استفاده کنید. ما می‌توانیم هر اجرایی را متوقف کنیم، اجراهای بعدی را رد کنیم، یا حسابی را برای انجام این کار ببندیم.
4. حساب و اعتبار
هر حسابی یک مبلغ ماهانه از زمان ابزار را بدون هزینه دریافت می‌کند. فراتر از آن ، می‌توانید اعتبار پیش‌پرداخت را خریداری کنید ، که با نرخی که در حساب نشان داده شده ، مصرف می‌شود. صفحه قیمت. اعتبار به پایان نمی‌رسد و قابل انتقال نیست. خارج شدن از محاسبات هرگز کار شما را نابود نمی‌کند: اجرا حفظ می‌شود و وقتی دوباره مجوز دارید دوباره تلاش می‌شود.
5. بازپرداخت
اگه يه اجرا به خاطر يه اشتباه از طرف ما شکست بخوره، محاسبات به حساب ما نمياد. بپرس: اعتبار استفاده نشده در 30 روز پس از خرید قابل بازپرداخت است
6. اين علامت يعني چي و نمي خواد
∎ معنی می‌دهد که هستۀ Lean یک اثبات ارسال شده را در برابر Mathlib بدون sorry, بدون اصل موضوعی جدید و بدون بررسی نوع پرش. این یک بیان قوی در مورد پروندۀ Lean و بیان ضعیف تر در مورد جهان است: این تصدیق نمی‌کند که بیان رسمی چیزی را که نویسندۀ آن در انگلیسی ادعا می‌کند می‌گوید. هیچ چیز در اینجا تضمین درستی ریاضی نیست ، و نتایج از این سایت همان‌طور که هستند ارائه می‌شوند.
7. رفتار
نه آزار، نه اسپم، نه ادعاهای عمدی گمراه کننده در مورد آنچه که یک مسابقه نشان داد. ما می‌توانیم محتوا را حذف کنیم و حساب‌ها را در اختیار خودمان ببندیم.
8. دسترسی‌پذیری
خدمات بدون تضمین در دسترس بودن ارائه می‌شود. چکرها از کار می‌افتند؛ وقتی این کار را می‌کنند سایت این را اعلام می‌کند صفحه وضعیت به جاي گزارش يه مدرک شکست خورده
9. مسئولیت
در این صورت، در صورتی که این قرارداد به هر دلیلی لغو شود، هزینه‌های مربوط به آن به عهده مشتری است و این هزینه‌ها در طول ۱۲ ماه پس از انقضای قرارداد پرداخت خواهد شد.
10. تغییرات
ممکن است این شرایط را به روز کنیم؛ تغییرات اساسی در سایت اعلام خواهد شد. ادامه استفاده از سایت بعد از آن به معنی قبول شرایط اصلاح شده است.