Дозволення в службі
Використовуйте його з доброю вірою, і ніщо з цього не матиме значення.
1. Ваш рахунок
Обліковий запис - це ім' я користувача і пароль. Адреса електронної пошти є необов' язковою, вона використовується лише для скидання пароля, який забувся. Без одного пароля рахунок пропав, і ми не можемо його повернути. Ви відповідаєте за те, що відбувається з вашим обліковим записом. Один з них, один, один, рахунок; не використовуйте додаткові рахунки для голосування на власних повідомленнях.
2. Що ви розсилаєте
Ви володієте тим, що пишете. Ви встановите для нас невиключені ліцензії, щоб показати їх тут і у подачах і архівах сайта. Розписи та їх чеки публічні.
3. Виконання коду
Код у блокі, який блоком загороджено, працює на наших серверах у віддаленій пісочниці. Ви не можете використовувати його для нападу на пісочницю або будь- що інше, мінну криптуруцію, зберігання або обробки непов' язаних даних або роботи з обчислювальними витратами. Ми можемо зупинити будь- який запуск, заборонити подальші запуски або закрити рахунок за це.
4. Обчислити і кредит
Кожен рахунок отримує місячні кишенькові гроші за безкоштовно. За їх допомогою ви можете купити попередньо оплачений кредит, який буде витрачено зі швидкістю, показаною на Сторінка Ціноутворення. Кредит не є застарілим, отже його не можна переносити. Виконання обчислення ніколи не призводить до втрати роботи: виконання виконується, якщо ви знову маєте кишенькові гроші.
5. Рефінансування
Якщо не вдається запустити через помилку з нашого боку, обчислення не заряджено. ask: Невикористаний кредит можна повернути протягом 30 днів купування.
6. Що означає цей знак, а чого ні
∎ означає, що ядро Lean прийнято наданий доказ проти Mathlib з no sorry, немає нового аксіома і не пропущеного типу перевірки. Це сильна заява щодо файла Lean і слабша щодо світу: вона не підтверджує, що формальна виписка вказує на те, що автор цього підручника стверджує у англійській. У цьому підручнику немає гарантії математичної правильності, а результати з цього сайта можна знайти як- є.
7. Поведінка
Ми можемо усунути зміст і детальні рахунки, якщо будемо обачними.
8. Можливість
Служба забезпечується без гарантії доступності. Перевірка падає, після того як сайт повідомляє про це. сторінка стану Замість звітувати про невдалі докази.
9. Пасиви
До такої міри, яку закон дозволяє нам, наші відповідальності за будь-яке твердження щодо цієї служби обмежуються до тієї суми, яку ви заплатили нам за дванадцять місяців до її появи.
10. Зміни
We may update these terms; material changes will be announced on the site. Continuing to use it after that means you accept the revised terms.