Услови за служба
1. Што прави службата
Го поврзуваме со панелот на модели на ВИ кои го изберете, плус со модел на судија кој ги почитува критериумите за прифаќање, и се обидуваме да го формализираме резултатот од Lean 4 против Mathlib.
2. Што е излезот а што не е
Излезот е генериран од третата страна, а не е совет. Тоа не е правен, медицински, финансиски, инженерски или професионален совет од било кој вид, и ниеден професионален однос не се создава со користење на оваа услуга.
Судијата што одлучи за исполнет критериум е изјава за доказите запишани во тој натпревар. Морате независно да потврдите се на што сакате да се потпирате.Ова е алатка за тестирање на притисок, а не замена за квалификуваниот човек.
Успешната формализација на лианот значи дека кернелот Лиан го прифатил доказот за изјавата која била формализирана, против верзијата од Mathlib кои се користеле во тоа време.
3. Вашата содржина
Ја држите сопственоста на барањата кои ги поднесувате и на резултатите што ви се направени. Ни ја давате само дозволата потребна за да ја одржите услугата: за да ја обработите вашата поднесување, да ги пренесете на моделите што сте ги избрале и да го зачувате резултатот од совпаѓањето за да можете да се вратите кај неа.
Совпаѓањата се приватни. Ако обележате јавност, тоа ќе стане видливо за секој со врските и може да се појави во нашата јавна галерија. Не објавувајте натпревар со ништо доверливо.
Не поднесувај лични податоци за другите, доверливи материјали што не си во право да ги споделуваш или содржина што е незаконска.
4. Заслуги и сметка
Кредитот е предплатен и се конзумира како натпревари. Секој натпревар има ограничено трошење што го поставувате; достигнувањето на него го паузира натпреварот наместо да продолжи да троши. Балансите не се пренесливи и, освен ако тоа е потребно со законот, не се враќаат на повраќање откако ќе се потроши. Неискористениот кредит се враќа на барање.
Ако го поврзете вашиот клуч за заклучок, плаќате директно на вашиот провајдер и ние не плаќаме по такси. Покрај наведениот бесплатно додаток се користи за инфраструктура за покривање на управувањето со панелот, алатките и складиштењето.
Можеме да ги смениме цените со известување.
5. Прифатлива употреба
Не ја користите услугата за генерирање на содржина која ги штети другите, за да ги извлечете нашите барања или системски упатства, за да ги заобиколите ограничувањата на трошоците или стапките, или за повторно продавање на пристап без пишан договор. Алатката за егзекуција на кодот е за проверка на барањата; не го користите за напад на ниту еден систем.
6. Достапност
Ние зависиме од провајдерите на третата страна. Добавувачите одат долу, ги менуваат модели и ги лишуваат. Мечот прекинат од било која причина е паузиран и повторлив; не наплаќаме за работа што не се случи. Не гарантираме непрекината достапност, а моделот што го користевте порано може да стане недостапен.
7. Одговорност
Не сме одговорни за индиректната или последична загуба, вклучувајќи ги и сите загуби што произлегуваат од зависноста од моделот.
8. Прекин
Може да ја затворите сметката во секое време; ќе ја вратиме неискористената сметка.
9. Промени, јазик и контакт
Можеме да ги ажурираме овие услови; материјалните промени ќе бидат објавени на сајтот.
Преводот на оваа страница е за удобство и е произведен со машина. Каде што преводот и англиската верзија се разликува, англиската верзија владее.
Прашања: Контактирајте не нас.