Сервис шартлары
1. Хезмәт нәрсә эшли
Сез таләп һәм стандартны тапшырасыз. Без аны сезнең сайлаган җанлы модельләр панеле аша үтәбез, шулай ук кабул итү критерийлары буенча хөкемдар моделе, һәм без нәтиҗәне Lean 4 белән Mathlib арасында формалаштырырга омтылабыз. Чыгу - транскрипт, хөкемнәр төркеме, хөкем карары, һәм формалаштыру уйлап табылган очракта, Леан нәтиҗәсе.
2. Чыгарылыш нәрсә һәм ул нәрсә түгел
3-нче сыйныфтан соң, әти-әнисе белән бергә, Казанга күченә. Бу юридик, медицина, финанс, инженерлык яки профессиональ киңәш түгел, һәм бу хезмәтне куллану белән профессиональ мөнәсәбәтләр барлыкка килми.
Критерийга туры килгән арбитр карары бу матчта теркәлгән дәлилләр турындагы белдерү. Бу дөреслекне гарантияләү түгел. Хайван акылы модельләре хаталар ясый, чыганакларны хата белән укый, һәм цитатлар ясап җибәрә ала, әмма бу турындагы күрсәтмәләрне үтәми. Сез үзегез ышанып ышанырга теләгән нәрсәне үзегез тикшерергә тиешсезБу ысул, гаять зур көч куеп, эшне тикшерү өчен кулланыла, ләкин ул кеше тикшерүенә алыштыргысыз түгел.
Леан формализациясе уңышлы булганда, Леан үзәге формализацияләнгән белдерүнең Mathlib версиясенә каршы булган исбатлауны кабул иткән дигәнне аңлата. Бу белдерү сезнең сораганыгызның туры тәрҗемәсе дигәнне аңлатмый, һәм сезнең ни теләвегезне әйтмәгән формаль белдерүне сайлау формаль нәтиҗәне алдауның иң киң таралган ысулы. Формаль белдерүне укыгыз, тик хөкем карарын гына түгел.
Сезнең эчтәлек
Сез үзегез җибәргән һәм үзегез өчен ясалган чыганакларның хуҗасы булып каласыз. Сез безгә хезмәтне эшләтү өчен кирәкле лицензияне генә бирәсез: сезнең җибәргәнегезне эшкәртү, аны сезнең сайлаган модель бирүчесенә җибәрү һәм нәтиҗәле туры килүне саклау өчен, сез аны кире кайтара аласыз.
Матчлар гадәттә шәхси була. Әгәр дә сез матчны ачык дип билгеләсәгез, ул сылтама булган һәркем өчен күренә башлый һәм безнең ачык галереядә күренергә мөмкин. Серле нәрсәләр булган матчларны бастырып чыгармагыз.
Башкалар турында шәхси мәгълүматны, сезгә бүлешергә хокукы булмаган конфиденциаль материалны яки законсыз эчтәлекне җибәрмәгез.
Кредитлар һәм исәпләү
Кредитлар алдан түләнә һәм уенчы уйнаганда кулланыла. Һәр уенчы өчен билгеләнгән акча сарыф итү чикләре бар, бу чиккә җиткәч, уенчы акча сарыф итүне дәвам итмичә, уенын туктата. Баланслар күчерелми һәм, закон таләп иткән очракта гына, кулланылганнан соң кире кайтарылмый. Кулланылмаган кредитлар сорау буенча кире кайтарыла.
Әгәр үзегезнең уйлап табу ключын кушсагыз, сез үзегезнең провайдерыгызга турыдан-туры түләрсез һәм без һәр иконка өчен түләү ясамасбыз. Бирелгән бушлай мөмкинлектән тыш, панель, инструментлар һәм саклау өчен инфраструктура түләве гамәлдә булачак.
Без бәяләрне хәбәр итү белән үзгәртә алабыз. Бу үзгәрешләр сатып алынган кредитларга кагылмый.
Куллану
Сервисны башкаларга зыян китерә торган эчтәлекне булдыру өчен кулланмагыз, безнең сорауларны яки система күрсәтмәләрен чыгару өчен кулланмагыз, чыгымнар яки бәя чикләүләрен читкә куеп, яки язма килешүсез керүне сату өчен кулланмагыз. Кодны башкару җайланмасы таләпләрне тикшерү өчен генә; аны бернинди системага һөҗүм итү өчен кулланмагыз.
Барлыгы
Без өченче як моделен тәкъдим итүчеләргә таянабыз. Моделне тәкъдим итүчеләр төшә, модельне үзгәртә һәм аларны кулланудан чыгаралар. Ничек кенә булмасын, туктатылган туры килү туктатыла һәм дәвам ителә; без эшләнмәгән эш өчен түләмибез. Без туктатылмаган барлыгын гарантияләмибез, һәм сез элек кулланган модель юкка чыгарга мөмкин.
Бурыч
Закон тарафыннан рөхсәт ителгән максималь күләмдә, хезмәт күрсәтү гарантиясез һәм гарантиясез рәвештә күрсәтелә. Безнең барлык җаваплылыгыбыз һәрбер таләп өчен таләп килеп чыгудан өч ай элек безгә түләгән сумма белән чикләнә. Без турыдан-туры яки нәтиҗәле югалтулар өчен җаваплы түгелбез, шул исәптән модель чыганакларына таянудан килеп чыккан югалтулар өчен дә.
Табу
Сез үз аккаунтыгызны теләсә кайсы вакытта ябарга мөмкинсез, һәм без кулланылмаган кредитны кире кайтарачакбыз. Бу кагыйдәләрне бозган яки хезмәтне куркыныч астына куйган аккаунтларны вакытлыча туктата алабыз.
Язма һәм тел
Без бу шартларны яңарта алабыз; материаль үзгәрешләр сайтта хәбәр ителәчәк.
Бу битнең тәрҗемәләре уңайлык өчен бирелә һәм автоматик рәвештә барлыкка килә. Әгәр тәрҗемә һәм инглизчә версия аерылса, инглизчә версия өстенлек итә.
Сораулар: Без белән элемтәгә керү.