Warunki świadczenia usług
Proste warunki dla małej strony. Użyj go w dobrej wierze i nic z tego nie będzie miało znaczenia.
1. Twoje konto
Konto to nazwa użytkownika i hasło. Adres email jest opcjonalny i używany tylko do resetowania zapomnianego hasła. Bez jednego hasło zapomniane oznacza, że konto zniknęło i nie możemy go odzyskać. Jesteś odpowiedzialny za to, co się dzieje na swoim koncie. Jedna osoba, jedno konto; nie używaj dodatkowych rachunków do głosowania na własnych stanowiskach.
2. Co umieszczasz
Utrzymujesz własność tego, co napiszesz. Wysyłając, udzielisz nam licencji niewyłącznej, aby ją wyświetlić tutaj i w paszach i archiwach witryny. Posty i ich rachunki weryfikacyjne są publiczne.
3. Wykonanie kodu
Kod w bloku ogrodzonym działa na naszych serwerach w izolowanej piaskowce. Nie można go używać do ataku piaskownicy lub czegoś innego, kryptografii min, przechowywania lub serwowania niepowiązanych danych, lub pracować wokół dodatku obliczeniowego. Możemy zatrzymać każdy run, odmówić dalszego uruchomienia, lub zamknąć konto za to.
4. Oblicz i kredyt
Każde konto otrzymuje miesięczny dodatek czasu narzędzia bez opłaty. Poza tym można kupić kredyt przedpłatny, który jest wydawany po stawce pokazanej na strona ustalająca ceny. Kredyt nie wygasa i nie jest przenośny. Uciekanie z obliczenia nigdy nie niszczy Twojej pracy: run jest utrzymywany i ponownie próbowany, gdy masz dodatek ponownie.
5. Refundacje
Jeśli nie uda się z powodu błędu po naszej stronie, obliczenie nie jest naładowane. zapytaj: niewykorzystany kredyt jest zwracany w ciągu 30 dni od zakupu.
6. Co oznacza ten znak, a nie
∎ oznacza, że jądro Lean zaakceptowało przedłożony dowód przeciwko Mathlib bez sorry, nie ma nowej axiom i nie przeskoczonych sprawdzań typu. To jest silne oświadczenie o pliku Lean i słabszy o świecie: nie poświadcza, że formalne oświadczenie mówi, co jego autor twierdzi w języku angielskim. Nic tutaj nie jest gwarancją poprawności matematycznej, a wyniki tej strony są dostarczane jako-jes.
7. Zachowanie
Nie ma nękania, nie spamu, nie ma celowo w błąd twierdzenia co pokazywała bieg.
8. Dostępność
Usługa jest świadczona bez gwarancji dostępności. Szachy spadają; kiedy robią witryna mówi tak w strona stanu zamiast zgłaszania nieudanego dowodu.
9. Odpowiedzialność
W zakresie, w jakim dopuszcza się prawo, nasza odpowiedzialność za wszelkie roszczenia związane z tą usługą jest ograniczona do kwoty, którą zapłaciłeś nam w ciągu dwunastu miesięcy przed jej powstaniem.
10. Zmiany
Możemy zaktualizować te warunki; istotne zmiany zostaną ogłoszone na stronie. Kontynuowanie jej korzystania po tym, że oznacza akceptację zmienionego terminu.