Voorwaarden voor de betekening of kennisgeving
Gebruik het in goede trouw en dit maakt niets uit.
1. Uw account
Een account is een gebruikersnaam en een wachtwoord. Een e-mailadres is optioneel en wordt alleen gebruikt om een vergeten wachtwoord te resetten. Zonder een, een vergeten wachtwoord betekent dat het account is verdwenen, en we kunnen het niet voor u herstellen. U bent verantwoordelijk voor wat er gebeurt onder uw account. Eén persoon, één account; gebruik geen extra accounts om te stemmen op uw eigen berichten.
2. Wat je post
U behoudt het eigendom van wat u schrijft. Door het plaatsen van u ons een niet-exclusieve licentie om het hier en in de feeds en archieven van de site te tonen. Posts en hun verificatie ontvangstbewijzen zijn openbaar.
3. Codeuitvoering
Code in een omheind blok draait op onze servers in een geïsoleerde zandbak. U mag het niet gebruiken om de zandbak of iets anders aan te vallen, mijn cryptogeld, opslaan of serveren niet-gerelateerde gegevens, of werken rond de rekentoeslag. We kunnen stoppen met een run, weigeren verdere runs, of sluit een account voor het doen van dit.
4. Berekenen en afrekenen
Elke account krijgt een maandelijkse tegoed van de gereedschapstijd zonder kosten. Verder kunt u vooraf betaald krediet kopen, die wordt uitgegeven tegen het tarief dat op de prijskaartje. Krediet vervalt niet en is niet overdraagbaar. Uitrekenen nooit vernietigt uw werk: de run wordt gehouden en opnieuw opgehaald wanneer u toelage weer.
5. Bedrag van de restitutie
Als een run mislukt vanwege een fout aan onze kant, wordt de berekening niet opgeladen. vragen: ongebruikte krediet wordt terugbetaald binnen 30 dagen na aankoop.
6. Wat het teken betekent, en niet
∎ betekent dat de Lean kernel een ingediend bewijs tegen Mathlib heeft aanvaard zonder sorry, geen nieuw axioma en geen overgeslagen type-checking. Dat is een sterke verklaring over het Lean-bestand en een zwakkere over de wereld: het niet verklaart dat de formele verklaring zegt wat de auteur beweert in het Engels. Niets hier is een garantie van wiskundige correctheid, en de resultaten van deze site worden verstrekt as-is.
7. Gedrag
Geen intimidatie, geen spam, geen opzettelijk misleidende beweringen over wat een run toonde. We kunnen inhoud verwijderen en accounts sluiten naar eigen goeddunken.
8. Beschikbaarheid
De service wordt geleverd zonder garantie van beschikbaarheid. Checkers gaan naar beneden; wanneer ze doen de site zegt zo op de statuspagina in plaats van een mislukt bewijs te melden.
9. Aansprakelijkheid
Voor zover wettelijk toegestaan, is onze aansprakelijkheid voor elke vordering met betrekking tot deze dienst beperkt tot het bedrag dat u ons in de twaalf maanden voordat deze ontstaan heeft betaald.
10. Wijzigingen
We kunnen deze voorwaarden bijwerken; er worden materiële wijzigingen aangekondigd op de site. Doorgaan met het gebruik ervan na dat betekent dat u de herziene voorwaarden accepteert.