Қызмет көрсету шарттары
Шағын сайт үшін қарапайым шарттар. Оны жақсы ниетпен қолданыңыз, онда бұл ештеңе етпейді.
1. Тіркелгіңіз
Тіркелгі - бұл пайдаланушы атауы мен пароль. Эл. пошта адресі таңдау мүмкін емес, тек ұмытылған парольді қалпына келтіру үшін ғана қолданылады. Парольсіз, парольді ұмытып қалу тіркелгіңіздің жоғалып кеткенін білдіреді, және оны біз сіздің атынан қалпына келтіре алмаймыз. Тіркелгіңізде не болып жатқанына Сіз жауаптысыз. Бір адам, бір тіркелгі; өзіңіздің мақалаңызды дауыс беру үшін қосымша тіркелгілерді қолданбаңыз.
2. Нені жариялауға болады
Сіз жазғанның иесі Сізсіз. Мақаланы жариялау арқылы Сіз оны осы жерде, сайттың ақпарларында және архивтерінде көрсетуге шектеусіз лицензия беріп отырсыз. Мақала мен оның тексеру құжаты ашық.
3. Кодты орындау
Қоршауланған блоктағы код серверлерімізде оқшауланған құмды қалта ішінде орындалады. Сіз оны құмды қалтаға немесе басқа ештеңеге шабуыл жасауға, криптовалютаны алу үшін, байланысты емес деректерді сақтау немесе қызмет көрсету үшін, немесе есептеу рұқсатымен айналысу үшін қолдана алмайсыз. Біз кез келген орындауды тоқтата аламыз, одан әрі орындауды рұқсат ете алмаймыз, немесе осы үшін тіркелгіні жаба аламыз.
4. Есептеу және кредит
Әрбір тіркелгі ай сайын ақысыз құрал уақытын алады. Бұдан артық уақыт үшін алдын- ала төлемді сатып алуға болады, ол ақшаны ақшалай бағамен жұмсауға болады. бағалау парағы. Кредит мерзімі біткен жоқ, ол ауыстырылмайды. Есептеу мүмкіндігінің болмауы жұмысыңызды жоғалтпайды: орындау сақталып, уақытыңыз жеткенше қайталап көріледі.
5. Қайта төлеу
Егер орындау біздің қатемізден болғанда, есептеу үшін ақы төленбейді. Басқа жағдайларда, сұрау: пайдаланбаған кредит сатып алғаннан кейін 30 күн ішінде қайтарылады.
6. Белгінің мағынасы не, мағынасы жоқ па
∎ дегені Lean өзегі Mathlib- ке қарсы берілген дәлелдемені жоқ дегені sorry, жаңа аксиома жоқ, түрлерді тексеру де жоқ. Бұл Lean файлы туралы қатты мәлімет, бірақ әлем туралы әлсіз мәлімет: бұл мәлімет формальды мәліметтің ағылшын тілінде автордың айтқанын айтып тұрғанын растамайды. Бұл мәліметтің математикалық дәлдігіне кепілдік жоқ, осы сайттағы нәтижелер "болған- білгендей" беріледі.
7. Жол
Қайғыландыру, спам, жүктеу нәтижелері туралы жалған мәліметтер жоқ. Біз өз қалауымыз бойынша мазмұнды алып тастап, тіркелгілерді жаба аламыз.
8. Қол жеткізерлігі
Қызметтің қолжетімділігі кепілдіксіз беріледі. Тексерушілер тоқтайды, тоқтап қалса сайт бұны хабарлап отырады күй- жай парағын қате туралы хабарлау орнына.
9. Қарыз
Заң бойынша, бұл қызметке қатысты кез келген талап бойынша біздің жауапкершілігіміз, ол туындағанға дейінгі он екі ай ішінде бізге төлеген сомаңызбен шектеледі.
10. Өзгерістер
Бұл шарттарды өзгертуге болады; өзгерістер сайтта жарияланады. Егер осыдан кейін де қолдансаңыз, өзгертілген шарттарды қабылдағаныңыз деп есептеледі.