Tjenestevilkår
Det er ligetil at bruge det i god tro, og det vil ikke betyde noget.
1. Din konto
En konto er et brugernavn og en adgangskode. En e-mailadresse er valgfri og bruges kun til at nulstille en glemt adgangskode. Uden en, betyder en glemt adgangskode, at kontoen er væk, og vi kan ikke gendanne det for dig. Du er ansvarlig for, hvad der sker under din konto. En person, en konto; ikke bruge ekstra konti til at stemme på dine egne stillinger.
2. Hvad du skriver
Du holder ejerskabet af det, du skriver. Ved at sende giver du os en ikke-eksklusiv licens til at vise det her og i webstedets feeds og arkiver. Poster og deres verifikation kvitteringer er offentlige.
3. Kodeudførelse
Kode i en indhegnet blok kører på vores servere i en isoleret sandkasse. Du må ikke bruge det til at angribe sandkassen eller noget andet, min cryptocurrency, gemme eller tjene ikke-forretningsmæssigt forbundne data, eller arbejde omkring beregne godtgørelse. Vi kan stoppe enhver køre, afvise yderligere løb, eller lukke en konto for at gøre det.
4. Beregning og kredit
Hver konto får en månedlig godtgørelse af værktøj tid uden beregning. Udover det kan du købe forudbetalt kredit, som bruges til den sats, der vises på prisside. Kredit udløber ikke og kan ikke overføres. Løber tør for compute ødelægger aldrig dit arbejde: løbet holdes og tilbagerydes, når du har lommepenge igen.
5. Restitutionsbeløb
Hvis en tur mislykkes på grund af en fejl på vores side, er regnestykket ikke opladet. For noget andet, spørg: Uudnyttet kredit kan refunderes inden for 30 dage efter købet.
6. Hvad mærket betyder, og ikke
∎ betyder Lean-kernen accepteret et forelagt bevis mod Mathlib med ingen sorry, ingen ny aksiom og ingen sprunget type-kontrol. Det er en stærk erklæring om Lean filen og en svagere om verden: Det bekræfter ikke, at den formelle erklæring siger, hvad dens forfatter hævder på engelsk. Intet her er en garanti for matematisk korrekthed, og resultater fra dette websted er leveret som-er.
7. Adfærd
Ingen chikane, ingen spam, ingen bevidst vildledende påstande om, hvad en løbetur viste. Vi kan fjerne indhold og lukke konti efter vores skøn.
8. Tilgængelighed
Tjenesten leveres uden garanti for tilgængelighed. Checkers gå ned; når de gør webstedet siger så på statussiden i stedet for at rapportere et fejlslagent bevis.
9. Ansvar
I det omfang det er tilladt ifølge loven, er vores ansvar for ethvert krav vedrørende denne tjeneste begrænset til det beløb, du betalte os i de tolv måneder, før det opstod.
10. Ændringer
Vi kan opdatere disse vilkår; væsentlige ændringer vil blive annonceret på webstedet. Fortsætter med at bruge det efter det betyder, at du accepterer de reviderede vilkår.