ဝန်ဆောင်မှု၏စည်းကမ်းချက်များ

အသေးစား site ကိုများအတွက်ရိုးရှင်းသောစည်းကမ်းချက်များကို. ကောင်းသောယုံကြည်မှုနှင့်ဤကိစ္စကိုမည်သူမျှမသုံးပါ.

1. သင့်အကောင့်

အကောင့်တစ်ခုမှာအသုံးပြုသူအမည်နှင့်စကားဝှက်တစ်ခုဖြစ်သည်။ အီးမေးလ်လိပ်စာတစ်ခုသည်ရွေးချယ်စရာဖြစ်ပြီးမေ့သွားသောစကားဝှက်ကိုပြန်လည်သတ်မှတ်ရန်သာအသုံးပြုသည်။ တစ်ခုမရှိဘဲ, password ကိုမေ့ဆိုလိုသည်မှာအကောင့်ပျောက်ဆုံးသွားပြီ, နှင့်ကျွန်တော်တို့ကသင်အတွက်ပြန်လည်မရနိုင်. သင်သည်သင်၏အကောင့်အောက်တွင်ဖြစ်ပျက်ဘာအတွက်တာဝန်ရှိကြသည်။ တစ်ဦးလူ, တစ်ဦးအကောင့်; သင်၏ကိုယ်ပိုင် posts များကိုမဲပေးရန်အပိုအကောင့်များကိုမသုံးပါ.

2. သင် post ကိုဘာ

သင်ရေးသားသောအရာကိုပိုင်ဆိုင်မှုထိန်းသိမ်းထား. posting အားဖြင့်သင်တို့သည်ငါတို့အားဒီမှာနှင့် site ၏ feeds များနှင့်အထောက်အထားများ၌၎င်းကိုပြသရန်တစ်ဦး non-သီးသန့်လိုင်စင်ပေးအပ်. Posts နှင့်သူတို့ရဲ့စစ်ဆေးမှုလက်ခံရရှိပြည်သူ့ဖြစ်ကြသည်။

3. ကုဒ် လုပ်ဆောင်ချက်

ကျွန်တော်တို့ရဲ့ servers များပေါ်တွင်တစ်ဦးခြံစည်းရိုး block ကိုထဲမှာကုဒ်တစ်ဦးသီးခြား sandbox ထဲမှာ runs. သင် sandbox ကိုသို့မဟုတ်အခြားအရာတစ်ခုခုတိုက်ခိုက်ဖို့အသုံးပြုနိုင်ပါတယ်, cryptocurrency တွင်း, သိုလှောင်သို့မဟုတ်ဆက်စပ်မှုမရှိသောဒေတာဝန်ဆောင်မှု, သို့မဟုတ် compute ထောက်ပံ့ငွေပတ်လည်အလုပ်လုပ်. ကျနော်တို့မည်သည့် run ကိုရပ်တန့်နိုင်ပါတယ်, နောက်ထပ် run တွေကိုငြင်းပယ်, သို့မဟုတ်ဒါကိုလုပ်ဖို့အတွက်အကောင့်တစ်ခုပိတ်.

4. ငွေကြေးနှင့်ငွေချေး

အားလုံးအကောင့်ကိုအခမဲ့ tool ကိုအချိန်၏လစဉ်ထောက်ပံ့ငွေရ. ဒါဟာကျော်လွန်သင်က prepaid credit ကိုဝယ်နိုင်ပါတယ်, အပေါ်ပြသနှုန်းမှာသုံးစွဲသည် ဈေးနှုန်းစာမျက်နှာ. Credit သက်တမ်းကုန်ဆုံးခြင်းမရှိပါနှင့် transferable မဟုတ်ပါ. compute ၏ run ထွက်သင်၏အလုပ်ကိုမပျက်စီးစေ: သင်ပြန်ပေးငွေရှိသောအခါ run ကိုထိန်းသိမ်းထားပြီး retry ခံရ.

5. ပြန်ပေးချေမှု

ကျွန်တော်တို့ရဲ့ဘက်မှာအမှားတစ်ခုကြောင့် run ကိုပျက်ကွက်လျှင်, က compute ကို charged မဟုတ်. အခြားအရာတစ်ခုခုအတွက်, မေး: မသုံးစွဲသောခရက်ဒစ်အတွင်း refundable 30 ရောင်းချရက်စွဲများ.

6. အမှတ်အသားဆိုလိုသည်မှာဘာလဲ, နှင့်မ

∎ Lean kernel ကိုဆိုလိုသည်မှာမရှိ Mathlib အပေါ်တစ်ဦးတင်သွင်းသက်သေခံလက်ခံရရှိ sorry, အသစ် axiom နှင့် skipped အမျိုးအစား-စစ်ဆေးခြင်းမရှိ. ဤသည် Lean ဖိုင်နှင့်ကမ္ဘာကြီးအကြောင်းကိုအားနည်းသောတစ်ခုအကြောင်းကိုခိုင်မာတဲ့ကြေညာချက်ဖြစ်ပါသည်: ၎င်းသည်တရားဝင်ကြေညာချက်ကို၎င်း၏စာရေးဆရာအင်္ဂလိပ်ဘာသာဖြင့်တောင်းဆိုချက်ကိုပြောဆိုကြောင်းသက်သေခံမထားဘူး. ဒီမှာဘာမှသင်္ချာမှန်ကန်မှု၏အာမခံချက်ဖြစ်ပါသည်, နှင့်ဤ site မှရလဒ်များကိုအဖြစ်-is ပေးအပ်ကြသည်။

7. လုပ်ဆောင်ချက်

ကျွန်တော်တို့ရဲ့ဆုံးဖြတ်ချက်အရ content ကိုဖယ်ရှားပြီးအကောင့်များကိုပိတ်နိုင်ပါတယ်.

8. ရရှိနိုင်မှု

အဆိုပါဝန်ဆောင်မှုရရှိနိုင်မှုအာမခံချက်မရှိဘဲပေးအပ်သည်. Checkers ဆင်းသွား; သူတို့က site ကိုလုပ်တဲ့အခါမှာဆိုလိုတယ် အခြေအနေစာမျက်နှာ ပျက်ကွက်သက်သေခံချက်ကိုသတင်းပို့ခြင်းထက်ပိုပြီး။

9. တာဝန်

ဥပဒေအားဖြင့်ခွင့်ပြုထားသောအတိုင်းအတာအထိ, ဒီဝန်ဆောင်မှုနှင့်သက်ဆိုင်သောမည်သည့်တောင်းဆိုချက်များအတွက်ကျွန်တော်တို့ရဲ့တာဝန်ခံမှုသင်ကပေါ်ပေါက်လာမတိုင်မီနှစ်ဆယ်လအတွင်းကျွန်တော်တို့ကိုပေးဆောင်ငွေပမာဏကိုထိခိုက်စေသည်။

10. အပြောင်းအလဲများ

ကျနော်တို့ဒီစည်းမျဉ်းများကို update လုပ်နိုင်ပါတယ်; ပစ္စည်းအပြောင်းအလဲများကို site ပေါ်တွင်ကြေညာလိမ့်မည်။ သင်ပြင်ဆင်ထားသောစည်းမျဉ်းများကိုလက်ခံသဘောတူကြောင်းကိုဆိုလိုသည်နောက်ပိုင်းတွင်အသုံးပြုရန်ဆက်လက်.

မေးခွန်းများ.