Tjenestevilkår
Enkelte uttrykk for et lite nettsted. Bruk det i god tro, og ingenting av dette vil spille noen rolle.
1. Din konto
En konto er et brukernavn og et passord. En e- postadresse er valgfri og brukes bare til å nullstille et glemt passord. Uten ett, et glemt passord betyr at kontoen er borte, og vi kan ikke gjenopprette det for deg. Du er ansvarlig for hva som skjer på kontoen din. En person, en konto, ikke bruk ekstra kontoer til å stemme på dine egne poster.
2. Hva du legger inn
Du beholder eierskapet til det du skriver. Ved å legge ut gir du oss en ikke- eksklusiv lisens som viser den her og i nettstedets kilder og arkiver. Poster og deres verifiseringskvitteringer er offentlige.
3. Kodekjøring
Kode i en inngjerdet blokk kjører på våre tjenere i en isolert sandkasse. Du kan ikke bruke den til å angripe sandkassen eller noe annet, min cryptocurrency, lagre eller tjene urelaterte data, eller arbeide rundt beregningspengene. Vi kan stoppe kjøring, nekte ytterligere kjøringer, eller lukke en konto for å gjøre det.
4. Beregn og godskriving
Hver konto får gratis en månedlig avregning for verktøytid. I tillegg kan du kjøpe forhåndsbetalt kreditt, som brukes til den renten som er vist på prissettingsside. Kreditten utløper ikke og kan ikke overdras. Ved utregning ødelegger du aldri arbeidet ditt. Kjøringen beholdes og gjenopptas når du har godtgjøring igjen.
5. Tilbakebetaling
Hvis det ikke går på grunn av feil på vår side så blir ikke beregningen belastet. for noe annet, spør: ubrukt kreditt kan tilbakebetales innen 30 dager etter kjøpet.
6. Hva merket betyr, og ikke
∎ Lean-kjernen godtok et framlagt bevis mot Mathlib uten noen sorry, ingen ny aksiom og ingen typesjekk oversett. Det er et sterkt utsagn om Lean- fila og et svakere utsagn om verden: det attesterer ikke at den formelle utsagnen sier hva forfatteren på engelsk påstår. Ingenting her er en garanti for matematisk korrekthet, og resultater fra denne nettsiden gis som den er.
7. Oppførsel
Ingen trakassering, ingen spam, ingen bevisst villedende påstander om hva en kjøring viste. vi kan fjerne innhold og avslutte kontoer etter vårt skjønn.
8. Tilgjengelighet
Tjenesten leveres uten garanti for tilgjengelighet. Sjekker går ned, når de gjør siden sier det på statusside heller enn å rapportere et feilaktig bevis.
9. Ansvar
I den utstrekning lov tillater det, er vårt ansvar for krav knyttet til denne tjenesten begrenset til beløpet du betalte oss i løpet av de tolv månedene før det oppstod.
10. Endringer
Vi kan oppdatere disse betingelsene; vesentlige endringer vil bli annonsert på nettstedet. Fortsetter å bruke dem etter det vil du godta de reviderte vilkårene.