Termini tas-Servizz
Termini sempliċi għal sit żgħir.Użah in bona fede u xejn minn dan ma jkun importanti.
1. Il-kont tiegħek
Kont huwa magħmul minn username u password, indirizz tal-email huwa fakultattiv u jintuża biss biex terġa’ tissettja password li tkun insejt. Mingħajr wieħed, password minsija tfisser il-kont ma għadux jeżisti, u ma nistgħux jirkupraw għalik. Inti responsabbli għal dak li jiġri taħt il-kont tiegħek.Persuna waħda, kont wieħed; ma tużax kontijiet żejda biex tivvota fuq il-postijiet tiegħek stess.
2. Dak li inti post
Inti żżomm is-sjieda ta' dak li tikteb. Meta tibgħat messaġġ, inti tagħti lilna liċenzja mhux esklussiva biex nuru dan il-messaġġ hawnhekk u fl-feeds u l-arkivji tas-sit.
3. Eżekuzzjoni tal-kodiċi
Kodiċi f'blokka fenced jaħdem fuq is-servers tagħna f'sandbox iżolat. Inti ma tistax tużah biex jattakkaw il-sandbox jew xi ħaġa oħra, mining cryptocurrency, jaħżnu jew iservu data mhux relatati, jew jaħdmu madwar l-ammont compute. Nistgħu twaqqaf kwalunkwe run, jirrifjuta runs aktar, jew jagħlaq kont għal dan.
4. Kalkolu u kreditu
Kull kont jirċievi allokazzjoni ta’ kull xahar ta’ ħin ta’ għodda mingħajr ħlas.Minbarra dan tista’ tixtri kreditu prepaid, li jintefaq bir-rata murija fuq il-kont. paġna tal-ipprezzar. Il-kreditu ma jiskadix u mhuwiex trasferibbli.Jekk ma jkollokx biżżejjed ħin, ix-xogħol tiegħek qatt ma jinqered: il-ħin jinżamm u jerġa' jiġi pprovat meta terġa' jkollok biżżejjed ħin.
5. Rifużjonijiet
Jekk run ma jirnexxix minħabba żball fuq in-naħa tagħna, il-komputazzjoni ma tkunx iċċarġjata. Għal xi ħaġa oħra, mistoqsija: kreditu mhux użat huwa rimborżabbli fi żmien 30 jum tax-xiri.
6. X'inhi t-tifsira tal-marka, u x'ma tfissirx
∎ tfisser il-kernel Lean aċċettat prova sottomessi kontra Mathlib bl-ebda sorry, l-ebda assioma ġdida u l-ebda skipped type-checking. Dik hija dikjarazzjoni qawwija dwar il-fajl Lean u waħda dgħajfa dwar id-dinja: ma tiċċertifikax li d-dikjarazzjoni formali tgħid dak li l-awtur tagħha jiddikjara bl-Ingliż. xejn hawnhekk huwa garanzija ta' korrett matematiċi, u r-riżultati minn dan is-sit huma pprovduti kif inhuma.
7. Kondotta
L-ebda fastidju, l-ebda spam, l-ebda talbiet qarrieqa deliberatament dwar dak li wera run.We jistgħu jneħħu l-kontenut u jagħlqu kontijiet fid-diskrezzjoni tagħna.
8. Disponibbiltà
Is-servizz huwa pprovdut mingħajr garanzija ta' disponibilità. Checkers jaqgħu; meta jagħmlu dan is-sit jgħid hekk fuq il-paġna tal-istatus minflok ma jirrapporta prova li ma rnexxietx.
9. Responsabbiltà
Sal-limitu permess mil-liġi, ir-responsabbiltà tagħna għal kwalunkwe pretensjoni relatata ma' dan is-servizz hija limitata għall-ammont li inti ħallastna fit-tnax-il xahar qabel ma tqajmet.
10. Bidliet
Nistgħu naġġornaw dawn it-termini; bidliet materjali se jiġu mħabbra fuq is-sit.Tkompli tużah wara dan ifisser li inti taċċetta t-termini riveduti.