Terms of Service
Plain mamiriro ezvinhu kune chidiki nzvimbo. Usati kushandisa muchokwadi uye hapana ichi ichaita chinhu.
1. Yako account
Akaunti inosanganisira zita remushandisi ne password. I-mail kero haisi yakakosha uye inoshandiswa chete kuti udzorere password yawakakanganwa. Kana usina password, password yaunokanganwa inokuudza kuti akaunti yako yadzoka, uye isu hatigone kuidzosera kwauri. Iwe uri mumiriri wezviri kuitika pasi peaccount yako. Mumwe munhu, imwe account; usashandisa mamwe maaccounts kuvhota pane yako post.
2. Chii chaunotumira
Nekutumira mameseji, iwe unotipa iwe chete kodzero yekuisa mameseji aya pano uye mumifananidzo yewebhusaiti. Mameseji uye kupihwa kwezvipo zvekuvimbisa zvinoonekwa nevanhu vese.
3. Kutanga kwekodzero
Kodhi muchikamu chakavharwa chinoshanda paseva dzedu mubhokisi remvura rakavharwa. Haugone kuishandisa kuuraya bhodhi remvura kana chero chinhu, kuchera mari yemari yemari, kuchengeta kana kutumira data risina chekuita, kana kubvisa kubhadharwa kwekomputa. Tinogona kudzima chero kutenderera, kurambidza kutenderera kwese, kana kudzima akaunti kana tikaita izvi.
4. Kuongorora uye kubhadharisa
Kana iwe uchida kushandisa nguva yakawanda, unogona kutenga mari yakabhadharwa, iyo inobhadharwa nemari inoratidzwa pawebhusaiti yekambani. pricing page. Kubuda kunze kwe compute hakukuvadze basa rako: kutamba kunochengetwa uye kuedzazve kana iwe uine mukana wokuti uite basa iri.
5. Kudzosera
Kana kutamba kusingaite nekuda kwematambudziko panzvimbo yedu, kuongorora hakubhadharwe. kubvunza: Kubhadharwa kwawakaisa pasina kushandisa kunogona kudzoserwa mukati memazuva 30 ekutenga.
6. Chii chinonzi pfungwa yechiratidzo, uye chii chisingaite
∎ zvinoreva kuti Lean kernel akabvuma kupihwa proof pamusoro Mathlib pasina sorry, hapana nyowani axiom uye hapana yakakwira-kucheka. Iyi ndiyo yakasimba mashoko pamusoro Lean faira uye imwe yakaderera pamusoro pepasi rose: haina kuvimbisa kuti formal mashoko anoti izvo munyori wake anotaura muChirungu. Hapana chinhu pano ndechimwe chikwereti chemathematika kururama, uye zviwanikwa kubva iyi saiti zvinopihwa sezvavanoita.
7. Kuita
Hapana kushungurudzwa, hapana spam, hapana kushungurudzwa kwakaipa nezve izvo zvakaratidzwa nekutenderera. Tinogona kubvisa zvinhu uye kudzima accounts zvichienderana nemamiriro edu.
8. Kuwanikwa
Chirongwa ichi chinopihwa pasina garanti yekuti chichawanikwa. Checkers anomira; kana achitanga, nzvimbo inoti the status page sezvavanotaura akatadza proof.
9. Kubhadhara
Kusvika pakuda kwemutemo, kuchengetedza kwedu kwemutemo kwe chero chikumbiro chinotaura nezveiyi sevhisi kunorambidzwa kusvika kune mari yawakabhadhara isu mumwedzi miviri miviri yapfuura yaive yaitika.
10. Zvinhu
Tinogona kuchinja izvi zvinodiwa; zvinhu zvitsva zvichataurwa pawebsite.Kuenderera mberi nekushandisa ichi mushure meizvozvo zvinoreva kuti iwe unobvuma zvakagadziridzwa zvinodiwa.