მომსახურების პირობები

Plain terms for a small site. Use it in good faith and none of this will matter.

1. თქვენი ანგარიში

ანგარიში არის მომხმარებლის სახელი და პაროლი. ელფოსტის მისამართი შეუძლებელია და გამოიყენება მხოლოდ დაგავიწყდა პაროლის აღდგენისას. Without one, a forgotten password means the account is gone, and we cannot recover it for you. თქვენ პასუხისმგებელი ხართ იმაზე, რაც თქვენს ანგარიშზე ხდება. ერთი ადამიანი, ერთი ანგარიში; არ გამოიყენოთ დამატებითი ანგარიშები თქვენი თავსატეხების ხმების მისაღებად.

2. What you post

თქვენ დარჩებით თქვენი წერილისა და მასში შეტანილი ინფორმაციის მფლობელი. პოსტის გაგზავნით თქვენ გვაძლევთ არაექსკლუზიურ ლიცენზიას, რომ გამოვიტანოთ იგი აქ და საიტის წყაროებში და არქივებში. პოსტები და მათი დადასტურების ცნობები საზოგადოებრივია.

3. კოდის შესრულება

კოდი ბლოკში დაცული ბლოკში მუშაობს ჩვენს სერვერებზე იზოლირებული ქვიშის ყუთის ქვეშ. თქვენ არ შეგიძლიათ გამოიყენოთ იგი ქვიშის ყუთის ან სხვა რამის წინააღმდეგ, კრიპტოვალუტის ძიებაში, უკავშირებელი მონაცემების შენახვა ან მომსახურება, ან გამოთვლის უფლებამოსილების გარშემო მუშაობა. ჩვენ შეგვიძლია შევაჩეროთ ნებისმიერი მუშაობა, უარი ვთქვათ შემდეგი მუშაობის შესახებ, ან დავახუროთ ანგარიში ამისთვის.

4. Compute and credit

ყველა ანგარიშს უფასოდ აქვს ხელსაწყოს დროის თვეობრივი ოდენობა. ამაზე მეტის შესაძენად შეგიძლიათ წინასწარი გადახდის კრედიტი შეიძინოთ, რომელიც ფასდაკლებით იხარჯება. გვერდი. კრედიტი არ იწურება და არ არის გადაცემადი. გამოთვლის დასრულება არასდროს არ წყვეტს თქვენს სამუშაოს: გამოთვლა რჩება და განმეორდება, როდესაც თქვენ კვლავ გაქვთ უფლება.

5. დაბრუნება

If a run fails because of a fault on our side, the compute is not charged. For anything else, კითხვა: unused credit is refundable within 30 days of purchase.

6. What the mark means, and does not

∎ ნიშნავს, რომ Lean kernel- მა მიიღო Mathlib- ის წინააღმდეგ გაგზავნილი დადასტურება, მაგრამ არა sorry, არანაირი ახალი აქტივი და ტიპის შემოწმების გადაცდენა. ეს ძლიერი განცხადებაა Lean ფაილზე და სუსტი მსოფლიოზე: ის არ ადასტურებს, რომ ფორმალური განცხადება ამბობს იმას, რასაც მისი ავტორი ინგლისურად ამბობს. აქ არაფერი არ არის მატემატიკური მართებულობის გარანტია და შედეგები ამ საიტიდან მიეწოდება როგორც არის.

7. ქცევა

No harassment, no spam, no deliberately misleading claims about what a run showed. We can remove content and close accounts at our discretion.

8. ხელმისაწვდომობა

სერვისი უზრუნველყოფილია ხელმისაწვდომობის გარანტიის გარეშე. შაკერები ნგრევიან; როდესაც ისინი ნგრევიან, საიტი ამის შესახებ აცხადებს სტატუსის გვერდი rather than reporting a failed proof.

9. პასუხისმგებლობა

To the extent permitted by law, our liability for any claim relating to this service is limited to the amount you paid us in the twelve months before it arose.

10. ცვლილებები

ჩვენ შეგვიძლია ამ პირობების განახლება; მნიშვნელოვანი ცვლილებების შესახებ საიტზე იქნება განცხადება. მისი გამოყენების გაგრძელება შემდეგ ნიშნავს, რომ თქვენ იღებთ შეცვლილ პირობებს.

კითხვები.