Ծառայության պայմաններ

Փոքր կայքի համար պարզ տերմիններ են։ Կիրառեք այն բարեխիղճ կերպով, և այս ամենը չի փոխվի։

1. Ձեր հաշիվը

Հաշիվը օգտագործողի անուն և գաղտնաբառ է։ Էլեկտրոնային փոստի հասցեն ընտրելի է և օգտագործվում է միայն մոռացված գաղտնաբառը վերականգնելու համար։ Եթե գաղտնաբառը մոռացվի, ապա հաշիվը կվերացվի, և մենք չենք կարող այն վերականգնել։ Դուք պատասխանատու եք ձեր հաշվին կատարվող գործողությունների համար։ Մի մարդ, մեկ հաշիվ։ Մի օգտագործեք ավելորդ հաշիվներ՝ ձեր գրառումների վրա քվեարկելու համար։

2. Ի՞նչ եք գրում

Դուք պահպանում եք ձեր գրածի սեփականությունը։ Հրապարակելով դրանք, դուք մեզ տալիս եք ոչ բացառիկ իրավունք ցուցադրելու դրանք այստեղ և կայքի ալիքներում և արխիվներում։ Հրապարակման և դրա ստուգման նամակները հանրային են։

3. Կոդը կատարելու համար

Օգտագործեք արգելափակված բլոկի կոդը մեր սերվերների վրա, որոնք աշխատում են մեկուսացված ջրային արկղում։ Դուք չեք կարող օգտագործել այն ջրային արկղը կամ այլ բաներ հարձակվելու համար, հանեք արժույթ, պահեք կամ ծառայեք անշարժ տվյալներ, կամ աշխատեք հաշվարկների թույլատրելի սահմաններից դուրս։ Մենք կարող ենք կանգնեցնել ցանկացած գործողություն, հրաժարվել հետագա գործողություններից կամ փակել հաշիվը նման գործողության համար։

4. Հաշվարկներ և վարկ

Յուրաքանչյուր հաշիվ ստանում է ամսական գործիքային ժամանակի գումար առանց վճարի։ Այնից բացի դուք կարող եք գնել նախահաշիվ, որը ծախսվում է ցուցադրված տոկոսադրույքով։ էջ. Կրեդիտը չի ավարտվում և չի փոխանցվում։ Հաշվարկների վերջանալը երբեք չի ոչնչացնում ձեր աշխատանքը։ Հաշվարկները պահվում են և կրկնվում, երբ դուք նորից հնարավորություն ունեք։

5. Վերադարձ

Եթե ընթացքը ձախողվի մեր կողմից սխալի պատճառով, հաշվարկները չեն վճարվում։ Մյուս դեպքում, հարցնել: չօգտագործված վարկերը վերադարձվում են գնումից հետո 30 օրվա ընթացքում:

6. Ի՞նչ է նշանակում նշանը և ինչ չի նշանակում

∎ նշանակում է, որ Lean kernel- ը ընդունել է Mathlib- ի դեմ ներկայացված ապացույցը առանց sorry, ոչ մի նոր ակսիոմ և ոչ մի բաց թողնված տեքստի ստուգում։ Սա Lean ֆայլի մասին ուժեղ հայտարարություն է, իսկ աշխարհի մասին՝ թույլ հայտարարություն։ Այն չի վկայում, որ պաշտոնական հայտարարությունը ասում է այն, ինչ գրողը պնդում է անգլերեն։ Այստեղ ոչինչ չի երաշխավորում մաթեմատիկական ճշգրտությունը, և այս կայքի արդյունքները տրվում են այնպես, ինչպես կան։

7. Ընթացք

Ոչ մի բռնություն, ոչ մի սմարթֆոն, ոչ մի խաբուսիկ հայտարարություն այն մասին, թե ինչ է ցույց տվել ընթացքը։ Մենք կարող ենք բովանդակությունը հեռացնել և փակել հաշիվները մեր որոշմամբ։

8. Առկա

Ծառայությունը մատուցվում է առանց հասանելիության երաշխիքի։ Checkers- ը ջնջվում է, երբ դրանք ջնջվում են, կայքը նշում է այդ մասին վիճակի էջ այլ ոչ թե հաղորդում է ձախողված ապացույցի մասին։

9. Պատասխանատվություն

Որքանով թույլատրվում է օրենքով, մեր պատասխանատվությունը այս ծառայության հետ կապված ցանկացած պահանջի համար սահմանափակվում է այն գումարով, որը դուք վճարել եք մեզ այն առաջանալուց 12 ամիս առաջ։

10. Փոփոխություններ

Մենք կարող ենք այս պայմանները վերանայել, նյութական փոփոխությունները կհայտարարվեն կայքում։ Այն շարունակել օգտագործելը նշանակում է, որ դուք ընդունում եք վերանորոգված պայմանները։

Հարցեր.