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