Mga Tuntunin ng Serbisyo
Plain mga tuntunin para sa isang maliit na site. Gamitin ito sa mabuting pananampalataya at wala ng mga ito ay magiging mahalaga.
1. Ang iyong account
Ang isang account ay isang username at isang password. Ang isang email address ay opsyonal at ginagamit lamang upang i-reset ang isang nakalimutan password. Kung wala, nangangahulugan ang nakalimutan na password na nawala na ang account, at hindi namin ito maibabalik para sa iyo. Ikaw ang responsable sa mga nangyayari sa iyong account. Isang tao, isang account; huwag gumamit ng karagdagang account upang bumoto sa iyong sariling mga post.
2. Ano ang iyong i-post
Sa pamamagitan ng pag-post ay binibigyan mo kami ng isang hindi eksklusibong lisensya upang ipakita ito dito at sa mga feed at archive ng site. Mga post at ang kanilang mga resibo ng pag-verify ay pampubliko.
3. Code pagpapatupad
Ang code sa isang naka-fence na block ay tumatakbo sa aming mga server sa isang hiwalay na sandbox. Hindi mo ito maaaring gamitin upang atakihin ang sandbox o anumang iba pa, magmina ng cryptocurrency, mag-imbak o maghatid ng hindi kaugnay na data, o iwasan ang compute allowance. Maaari naming ihinto ang anumang pag-run, tanggihan ang karagdagang mga run, o isara ang isang account dahil sa paggawa nito.
4. Pagkalkula at credit
Ang bawat account ay nakuha ng isang buwanang allowance ng tool oras sa walang singil. Bukod sa ito maaari kang bumili ng prepaid credit, na kung saan ay nagastos sa rate na ipinapakita sa pahina ng pricing. Credit ay hindi expires at ay hindi mailipat. Pagtakbo out ng compute hindi kailanman nawasak ang iyong trabaho: ang tumakbo ay pinatili at muling sinubukan kapag mayroon kang allowance muli.
5. Mga Refund
Kung ang isang run ay nabigo dahil sa isang pagkakamali sa aming panig, ang compute ay hindi bayad. Para sa anumang iba pa, tanungin: Ang hindi ginamit na credit ay maaaring ibalik sa loob ng 30 araw ng pagbili.
6. Ano ang ibig sabihin ng marka, at hindi
∎ nangangahulugan na ang Lean kernel tinanggap ng isang ipinasa patunay laban Mathlib na walang sorryNa ay isang malakas na pahayag tungkol sa Lean file at isang weaker isa tungkol sa mundo: ito ay hindi sertipikadong na ang pormal na pahayag ay nagsasabi kung ano ang mga claims ng may-akda sa Ingles. Walang bagay dito ay isang garantiya ng matematikal na pagiging tama, at mga resulta mula sa site na ito ay ibinigay bilang-ay.
7. Pag-uugali
Walang panliligalig, walang spam, walang sadyang mapanlinlang na mga claim tungkol sa kung ano ang ipinakita ng isang run. Maaari naming alisin ang nilalaman at isara ang mga account sa aming paghuhusga.
8. Availability
Ang serbisyo ay ibinigay nang walang garantiya ng availability. Checkers pumunta down; kapag ginagawa nila ang site ay nagsasabing kaya sa ang pahina ng katayuan sa halip na pag-uulat ng isang nabigo patunay.
9. Responsibilidad
Sa lawak na pinahihintulutan ng batas, ang aming pananagutan para sa anumang pag-aangkin na may kaugnayan sa serbisyong ito ay limitado sa halaga na iyong binayaran sa amin sa loob ng labing-dalawang buwan bago ito lumitaw.
10. Mga pagbabago
Maaari naming i-update ang mga tuntuning ito; ang mga pagbabagong materyal ay i-a-anunsyo sa site. Ang patuloy na paggamit nito pagkatapos nito ay nangangahulugang tinatanggap mo ang mga binagong tuntunin.