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