Skilmálar þjónustunnar
Einföld skilmálar fyrir lítið vefsvæði. Notaðu það í góðri trú og ekkert af þessu mun skipta máli.
1. Reikningur þinn
Aðgangur er notandanafn og lykilorð. Netfang er valfrjálst og er aðeins notað til að endurstilla gleymt lykilorð. Án þess að gleyma lykilorðinu þínu er reikningurinn horfinn og við getum ekki endurheimt hann fyrir þig. Þú berð ábyrgð á því sem gerist á reikningnum þínum. Einn notandi, einn reikningur. Ekki nota fleiri reikninga til að kjósa um þín eigin innlegg.
2. Það sem þú sendir
Þú heldur eignarrétti á því sem þú skrifar. Með því að senda inn færslu veitir þú okkur leyfi til að birta hana hér og í straumum og skjalasafni vefsins.
3. Keyra kóða
Kóði í lokuðum blokkum keyrir á netþjónum okkar í einangruðum sandkassa. Þú mátt ekki nota hann til að ráðast á sandkassann eða neitt annað, vinna úr dulritunargjaldmiðli, geyma eða þjóna ótengdum gögnum eða komast hjá tölvugetu. Við getum stöðvað hverja keyrslu, hafnað frekari keyrslu eða lokað reikningi vegna slíks.
4. Reikna og lánsfé
Hver reikningur fær mánaðarlega heimild til verkfæratíma án endurgjalds.Utan þess geturðu keypt fyrirframgreitt lán, sem er eytt á genginu sem sýnt er á reikningnum. Verðlagning síðu. Ef þú lendir í því að klára reiknitíma eyðir það aldrei vinnu þinni: keyrsla er geymd og reynt aftur þegar þú hefur leyfi aftur.
5. Endurgreiðslur
Ef hlaup mistekst vegna galla á okkar hlið, er reikningurinn ekki gjaldfærður. Fyrir allt annað, spyrja: Ónotað lán er endurgreitt innan 30 daga frá kaupum.
6. Hvað merkið merkir, og gerir ekki
∎ Merkir Lean kjarna samþykkt framlagða sönnun gegn Mathlib með engin sorry, engin ný axiom og engin sleppt type- check. Það er sterk yfirlýsing um Lean skrá og veikari einn um heiminn: það staðfestir ekki að formleg yfirlýsing segir það sem höfundur hennar fullyrðir á ensku. Ekkert hér er ábyrgð á stærðfræðilegri réttlæti, og niðurstöður frá þessari síðu eru veitt eins og- er.
7. Hegðun
Engin áreitni, ekkert ruslpóst, engar vísvitandi villandi fullyrðingar um það sem hlaupið sýndi.Við getum fjarlægt efni og lokað reikningum að eigin vild.
8. Availability
Þjónustan er veitt án ábyrgðar á framboði. Checkers falla niður; þegar þeir gera það segir vefurinn svo á Sýna stöðusíðu Frekar en að tilkynna mistókst sönnun.
9. Skuldbinding
Að því marki sem lög leyfa takmarkast ábyrgð okkar vegna allra krafna sem tengjast þessari þjónustu við þá upphæð sem þú greiddir okkur á tólf mánuðum áður en krafan varð til.
10. Breytingar
Við kunnum að uppfæra þessa skilmála; efnislegar breytingar verða tilkynntar á vefsvæðinu.Halda áfram að nota það eftir það merkir að þú samþykkir endurskoðaða skilmála.