Villkor för tjänsten
Enkelt uttryckt för en liten webbplats. Använd den i god tro och inget av detta kommer att spela någon roll.
1. Ditt konto
Ett konto är ett användarnamn och ett lösenord. En e-postadress är valfri och används endast för att återställa ett glömt lösenord. Utan ett, betyder ett glömt lösenord att kontot är borta, och vi kan inte återställa det åt dig. Du ansvarar för vad som händer under ditt konto. En person, ett konto, använd inte extra konton för att rösta på dina egna inlägg.
2. Vad du lägger upp
Du behåller äganderätten till det du skriver. Genom att publicera ger du oss en icke-exklusiv licens för att visa den här och i webbplatsens kanaler och arkiv. Poster och deras verifierings kvitton är offentliga.
3. Kodutförande
Kod i ett inhägnat block körs på våra servrar i en isolerad sandlåda. Du får inte använda den för att attackera sandlådan eller något annat, min kryptovaluta, lagra eller tjäna orelaterade data, eller arbeta runt beräkningsavdraget. Vi kan stoppa alla körningar, vägra ytterligare körningar, eller stänga ett konto för att göra det.
4. Beräkna och kreditera
Varje konto får en månatlig ersättning av verktygstid utan kostnad. Utöver det kan du köpa förbetald kredit, som används till den ränta som visas på prissida. Krediten går inte ut och går inte att överföra. Att få slut på beräkning förstör aldrig ditt arbete: körningen hålls och upprepas när du har ersättning igen.
5. Bidragsbelopp
Om en körning misslyckas på grund av ett fel på vår sida, är inte beräkningen laddad. fråga: oanvänd kredit återbetalas inom 30 dagar efter köpet.
6. Vad märket betyder och inte betyder
∎ betyder Lean-kärnan accepterad ett inlämnat bevis mot Mathlib med nej sorry, ingen ny axiom och ingen hoppat över typkontroll. Det är ett starkt uttalande om Lean-filen och en svagare om världen: det intygar inte att det formella uttalandet säger vad författaren hävdar på engelska. Ingenting här är en garanti för matematisk korrekthet, och resultat från den här webbplatsen tillhandahålls som-is.
7. Uppförande
Inga trakasserier, ingen skräppost, inga avsiktligt vilseledande påståenden om vad en körning visade. Vi kan ta bort innehåll och stänga konton efter eget gottfinnande.
8. Tillgänglighet
Tjänsten tillhandahålls utan garanti för tillgänglighet. Checkers går ner, när de gör webbplatsen säger så på statussidan istället för att rapportera ett fel.
9. Ansvar
I den utsträckning som lagen tillåter, är vårt ansvar för eventuella anspråk som rör denna tjänst begränsat till det belopp du betalade oss under de tolv månader som föregår det.
10. Ändringar
Vi kan uppdatera dessa villkor; väsentliga ändringar kommer att meddelas på webbplatsen. Fortsätta att använda det efter det innebär att du accepterar de reviderade villkoren.