Срок службы
Используйте его добросовестно, и это не будет иметь значения.
1. Твой Аккаунт
Счёт - имя пользователя и пароль. Адрес электронной почты является факультативным и используется только для перезаключения забытого пароля. Без одного, забытый пароль означает, что счёт пропал, и мы не можем вернуть его для вас. Вы отвечаете за то, что происходит на вашем счету. Один человек, один Аккаунт, не используйте дополнительные счета для голосования на своих постах.
2. Что вы выкладываете
Вы сохраняете право собственности на то, что вы пишете. Вы можете выдать нам неисключительную лицензию, чтобы вывесить ее здесь и в дневниках и архивах сайта. Почты и их квитанции о проверке являются публичными.
3. Исполнение кода
Код в загоревшемся блоке работает на серверах в изолированном песчаном ящике. Вы не можете использовать его для атак на песчаный ящик или что-либо еще, валютушку для зашифрованных мин, хранить или обслуживать не связанные с этим данные, или работать над расчетным лимит. Мы можем остановить любой запуск, отказаться от дальнейших прогонов или закрыть Аккаунт за это.
4. Расчет и кредит
Every account gets a monthly allowance of tool time at no charge. Beyond it you may buy prepaid credit, which is spent at the rate shown on the Стр.. Кредит не истекает и не может быть переведен. Выбывание из вычислений никогда не уничтожит вашу работу: выдержка сохраняется и возвращается, когда вы получили лимит снова.
5. Возмещение
Если пробежка провалилась из-за ошибки на нашей стороне, вычисления не заряжаются. Спросить: Неиспользованный кредит подлежит возмещению в течение 30 дней после его приобретения.
6. Что значит знак, а не
∎ означает, что ядро лея приняло представленное доказательство против Матлиба без sorry, нет новой аксиомы и пропущенной проверки типа. Это сильное заявление о файле Lean и более слабом о мире: он не удостоверяет, что в официальном заявлении говорится то, что его автор утверждает на английском языке. Здесь нет никакой гарантии математической точности, и результаты этого сайта предоставляются в том виде, в каком они представлены.
7. Поведение
Ни преследования, ни спама, ни преднамеренного искажения фактов, которые показали результаты проб, мы можем удалить контент и закрыть счета по своему усмотрению.
8. Наличие
Услуги предоставляются без гарантии доступности. Проверяющие спускаются, когда они делают сайт говорит так на сайте. статус Вместо того, чтобы сообщать о несостоявшемся доказателе.
9. Ответственность
В той мере, в какой это допускается законом, наша ответственность за любые претензии, связанные с этой службой, ограничивается суммой, которую вы нам заплатили за 12 месяцев до ее возникновения.
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.