Условия на ползване
Използвайте го в добра вяра и нищо от това няма да има значение.
1. Вашата акаунт
Акаунта е потребителско име и парола. Адресът на имейл е опционален и се използва само за рестартиране на забравена парола. Без една, забравената парола означава, че сметката е изчезнала и не можем да я възстановим за вас. Вие сте отговорни за това, което се случва по сметката си. Едно лице, една сметка; не използвайте допълнителни сметки за гласуване на собствените си позиции.
2. Какво ще напишеш?
Вие държите собствеността на това, което пишете. Чрез публикуване на ни давате неизключителна лицензия, която да го показва тук и в храните и архивите на сайта. Пости и техните квитанции за проверка са публични.
3. Изпълнение на кода
Код в ограден блок тече върху нашите сървъри в изолиран пясъчник. Може да не го използвате за атака на пясъчника или нещо друго, мина криптография, съхраняване или сервиране на несъответстващи данни, или работа около изчисляване на надбавката. Можем да спрем да се движим, да откажем по-нататъшно, или да затворим сметка за това.
4. Изчисление и кредит
Всеки акаунт получава месечно надбавка на времето на инструмента без такса. Отвъд него можете да си купите предварително платен кредит, който се изразходва по цената, показана на страница на цените. Кредитът не изтича и не е прехвърляем. Изтичане на изчисление никога не унищожава работата си: бягането се поддържа и отново се опитва, когато имате надбавка отново.
5. Възстановяване на възстановяване
Ако един ход се провали, поради грешка от наша страна, изчислението не е заредено. питай: неизползван кредит се възстановява в срок от 30 дни от покупка.
6. Какво означава знака, а не означава
∎ означава, че ядрото на Лиан е приело представено доказателство срещу Mathlib с не sorry, Няма нови аксиом и не пропуснато проверка на типа. Това е силно изявление за Лиан файл и по-слаб за света: тя не се удостоверява, че официалната декларация казва това, което авторът твърди на английски език. Нищо тук е гаранция на математична коректност, и резултатите от този сайт са предоставени като-ес.
7. Поведение
Няма тормоз, няма спам, няма умишлено подвеждане на твърдения за това, което показа един ход.
8. Наличност
Обслужването е осигурено без гаранция на наличността. Шахи се спускат; когато те правят сайтът казва така на страницата на състоянието вместо да докладва провалено доказателство.
9. Отговорност
Доколкото е разрешено от закона, нашата отговорност за всяко искане, свързано с тази услуга, е ограничена до сумата, която ни платихте през дванадесетте месеца преди да се появи.
10. Промяна
Можем да актуализираме тези условия; материални промени ще бъдат обявени на сайта. Продължават да го използват след това означава, че приемате преразгледаните условия.