Teenuse osutamise tingimused
Kasutage seda heas usus ja see ei loe.
1. Sinu konto
Konto on kasutajanimi ja parool. E- posti aadress on vabatahtlik ja seda kasutatakse ainult unustatud parooli lähtestamiseks. Ilma üheta tähendab unustatud parool, et konto on läinud ja me ei saa seda teile tagasi. Sina vastutad selle eest, mis sinu konto all toimub. Üks inimene, üks konto; ära kasuta lisakontosid oma postituste hääletamiseks.
2. Mida sa postitad?
Sa hoiad omandit, mida sa kirjutad. Postitades annad meile mitte-ainulitsentsi näidata seda siin ja saidi uudistes ja arhiivides. Posts ja nende kontrolli kviitungid on avalikud.
3. Koodi täitmine
Kood tarastatud plokk töötab meie serverid isoleeritud liivakasti. Sa ei pruugi seda kasutada rünnata liivakasti või midagi muud, minu cryptocurrency, salvestada või teenida mitteseotud andmeid, või tööd ümber arvutusvarusid. Me võime peatada mis tahes jooksma, keelduda rohkem jookseb, või sulgeda konto seda tehes.
4. Arvutamine ja krediit
Iga konto saab igakuist tööriistaaega tasuta. Lisaks sellele võite osta ettemakstud krediiti, mis kulutatakse määra näidatud hinnaleht. Krediit ei lõpe ja ei ole ülekantav. Arvutamine ei lõhu kunagi teie tööd: jooksmist hoitakse ja retried kui teil on taskuraha uuesti.
5. Toetuse summa
Kui meie poolel toimunud vea tõttu ei õnnestu jooks, siis ei ole arvutust veel millegi eest laetud. küsitakse: kasutamata krediiti saab tagastada 30 päeva jooksul alates ostmisest.
6. Mida märk tähendab ja ei
∎ tähendab, et Lean kernel vastu esitatud tõend vastu Mathlib koos ei sorry, ei ole uut aksioomi ja ei vahele tüübikontroll. See on tugev avaldus Lean faili ja nõrgem üks umbes maailmas: see ei kinnita, et ametlik avaldus ütleb, mida selle autor väidab inglise keeles. Miski siin on garantii matemaatilise õigsuse ja tulemused sellel saidil on esitatud as-is.
7. Käitumine
Ei mingit ahistamist, ei mingit rämpsposti ega tahtlikult eksitavaid väiteid selle kohta, mida jooks näitas. Me võime sisu ja kontod omal äranägemisel eemaldada.
8. Kättesaadavus
Teenust osutatakse ilma kättesaadavuse garantiita. Kabe läheb alla; kui nad seda saidil ütleb nii edasi olekuleht Selle asemel, et esitada läbikukkunud tõendeid.
9. Vastutus
Seadusega lubatud ulatuses on meie vastutus selle teenusega seotud nõuete eest piiratud summaga, mille te meile 12 kuu jooksul enne selle tekkimist tasusite.
10. Muudatused
Me võime neid termineid uuendada; sisulised muudatused tehakse teatavaks saidil. Jätkates seda pärast seda tähendab, et nõustute muudetud tingimustega.