Hizmet Tertibi
Kiçi bir saýt üçin aňsat sözler. Ony gowy niýet bilen ullan we bu hiç zat ähmiýeti bolmaz.
1. Hasabyňyz
Hasap bir ullanyjy adyny we bir sözbaşyny barlaýar. E-poçta adresi islendik we diňe unudylan sözbaşyny dikeltmek üçin ulanylýar. Birem ýok bolsa, unudulmuş sözlügiň manysy hasabyň gitdigidir we biz ony siziň üçin dikeldip bilmeris. Hasabyňyzda bolýan zatlar üçin siz jogapkärsiňiz. Bir adam, bir hasabyňyz; öz postlaryňyz üçin ses bermek üçin goşmaça hasablary ulanmaň.
2. Näme ýazýaň
Siz ýazan zadyňyzyň eýesi bolýarsyňyz. Post etmek bilen siz bize ony şu ýerde we saýtyň feedlerinde we arşiwlerinde görkezmek üçin eksklusiw däl bir lisenziýa berýärsiňiz. Post we olaryň barlagyny kabul etmekler halka aýan.
3. Kod işlediş
Bir çeper blokda kod biziň serwerlerimizde izolirlenen reňk boksi içinde işleýär. Siz ony reňk boksi ýa-da başga bir zat hüjüm etmek üçin ulanmaň, kriptovalyutany çakmak, baglanyşyksyz maglumatlary saklamak ýa-da hyzmat etmek, ýa-da hasaplamak mümkinçiligini dolamak. Biz her bir işleýäni durduryp, başga işleýänleri ret edip ýa-da hasabyňy ýapyp bileris.
4. Hasaplama we kredit
Her hasap bir aýlyk esbap wagtyny hiç bir tölegsiz alýar. Bundan başga siz öňden tölenen krediti satyn alyp bilersiňiz, bu krediti bu hasapda görkezlen töleg bilen sarp edilýär page. Kreditler öçmeýär we geçirip bolmaýar. Hasaplamakdan çykmak hiç wagt işiňizi heläk etmeýär: hasaplamak saklanylýar we ýene bir gezek öçmek mümkinçiligiňiz bolança tekrarlanylýar.
5. _Gün
Eger bir işleyiş bizden bir hata sebäpli hata etse, hasaplama tölegsizdir. Başga bir zat üçin, sora: ulanylmadyk kredit satyn almakdan 30 gün içinde gaýtarylyp bilner.
6. Markeriň näme aňladýandygyny we näme aňladmaýandygyny görkez
∎ aňladýan Lean kerneli Mathlib garşy hiç zat bilen kabul eden bir subutnamany sorry, no new axiom and no skipped type-checking. That is a strong statement about the Lean file and a weaker one about the world: it does not certify that the formal statement says what its author claims in English. Here nothing is a guarantee of mathematical correctness, and results from this site are provided as-is.
7. Syýahat
Hiç hili zorluk, spam, ýa-da bir işiň nädip işleýänligi barada ýalňyş maglumat ýok. Biz öz islegimizçe mazmuny aýyryp we hasaplary ýapyp bileris.
8. Elýeterli
Bu hyzmat elýeterliligi garantiýasyz berlipdir. Kontrolerler aşak düşer; olar aşak düşende saýt şeýle diýýär status sahypasy bir hataly subutnamany habar bermekden başga.
9. _Göçür
Kanun tarapyndan ygtybar edilen derejede, bu hyzmat bilen bagly her hili talap üçin biziň jogapkärçiligimiz, siz bize tölän mukdar bilen çäklenýär.
10. Faýl
Biz bu şertleri täzeläp bileris; maddy üýtgemeler saýtda yglan edilýär. Budan soň ony ulanmak dowam etmek, siz täzelenmiş şertleri kabul edýäňiz diýmekdir.