Diensterme

Gebruik dit op 'n klein plek met goeie geloof en maak nie saak nie.

1. U rekening

'n Rekening is 'n gebruikernaam en wagwoord.' n E-posadres is opsioneel en word slegs gebruik om 'n vergete wagwoord te herstel. Sonder een beteken 'n vergete wagwoord dat die rekening weg is, en ons kan dit nie vir jou terugkry nie. Jy is verantwoordelik vir wat onder jou rekening gebeur.'n Persoon, een rekening; moenie ekstra rekeninge gebruik om op jou eie poste te stem nie.

2. Wat jy plaas

Jy hou eienaarskap van wat jy skryf. Deur pos jy gee ons 'n nie-xclusive lisensie om dit hier en in die tuiste se voer en argiewe te vertoon. Pos en hulle bevestigings ontvangs is publiek.

3. Kode uitgevoer

code in 'n versterkte blok loop op ons bedieners in' n afgesonderde sandbox. Jy mag dit dalk nie gebruik om die sandbox of enigiets anders aan te val, my kripto-sleutel, winkel of bedien nieverwante data, of werk om die rekenaartoelae. Ons mag enige hardloop stop, weier om verder te hardloop of 'n rekening sluit vir dit.

4. Mede - en krediet

Elke rekening kry 'n maandelikse toelae van gereedskap tyd sonder toesig. Anders kan jy voorafbetaalde krediet koop, wat bestee word teen die tempo wat op die Om te prik. Die eer loop nie weg nie en is nie oorlasbaar nie. Om uit bereken te raak, vernietig nooit jou werk nie: die vlug word gehou en herverhoog wanneer jy weer in aanmerking moet kom.

5. Refunds

As 'n hardloop misluk as gevolg van' n fout aan ons kant, die rekenaar word nie gelaai nie. Vir enigiets anders, vra: ongebruikte krediet is binne 30 dae se koopbaar.

6. Wat die merk beteken, en nie

∎ beteken dat die Lean kernel â n voorgelêde bewys teen Mathlib aanvaar het sonder om sorry, geen nuwe asiom en geen oorgeslaande tipe-toets. Dit is 'n sterk stelling oor die Len lêer en 'n swakker een oor die wêreld: dit bevestig nie dat die formele verklaring sê wat sy skrywer beweer in Engels. Niks hier is' n waarborg van wiskundige korrektheid, en resultate van hierdie tuiste word voorsien as-is.

7. Gedrag

Geen teistering, geen gemors, geen opsetlik misleidende bewerings oor wat 'n hardloop getoon het nie. Ons kan inhoud en noukeurige rekeningke verwyder met ons goeie oordeel.

8. Ondeundheid

Die diens word sonder waarborg van beskikbaarheid verskaf. Gaan kykers af; wanneer hulle die perseel doen, sê hulle dit op the status page Pleks van'n mislukte bewys te rapporteer.

9. Bebaarheid

In die mate wat deur die wet toegelaat word, is ons aanspreeklikheid vir enige aanspraak wat met hierdie diens verband hou beperk tot die bedrag wat julle ons in die twaalf maande voor dit ontstaan het betaal het.

10. Verander

Ons kan hierdie terme bygewerk; materiële veranderinge sal op die webwerf aangekondig word. Gaan voort om dit te gebruik na die doel wat beteken jy aanvaar die hersiene terme.

Vrae.