მომსახურების პირობები
ოპჲჟრთ ჲბპაჱთ ჱა მალკთ ჟაირთ, თჱოჲლჱგაი დთ ჟ ეჲბპა გწპა თ ნთღჲ ნწმა ეა რთ ჟვ ჲრნვჟვ.
1. თქვენი ანგარიში
ანგარიში არის მომხმარებლის სახელი და პაროლი. ელფოსტის მისამართი შეუძლებელია და გამოიყენება მხოლოდ დაგავიწყდა პაროლის აღდგენისას. ბვჱ ნვდჲ, ჱაბპაგვნარა ოაპჲლა ჲჱნაფაგა, ფვ ოპჲტთლა ნვმა თ ნვ მჲზვმ ეა დჲ გყპნვმ. თქვენ პასუხისმგებელი ხართ იმაზე, რაც თქვენს ანგარიშზე ხდება. ერთი ადამიანი, ერთი ანგარიში; არ გამოიყენოთ დამატებითი ანგარიშები თქვენი თავსატეხების ხმების მისაღებად.
2. ქრჲ ჟთ ოჲჟრაგთლ
თქვენ დარჩებით თქვენი წერილისა და მასში შეტანილი ინფორმაციის მფლობელი. პოსტის გაგზავნით თქვენ გვაძლევთ არაექსკლუზიურ ლიცენზიას, რომ გამოვიტანოთ იგი აქ და საიტის წყაროებში და არქივებში. პოსტები და მათი დადასტურების ცნობები საზოგადოებრივია.
3. კოდის შესრულება
კოდი ბლოკში დაცული ბლოკში მუშაობს ჩვენს სერვერებზე იზოლირებული ქვიშის ყუთის ქვეშ. თქვენ არ შეგიძლიათ გამოიყენოთ იგი ქვიშის ყუთის ან სხვა რამის წინააღმდეგ, კრიპტოვალუტის ძიებაში, უკავშირებელი მონაცემების შენახვა ან მომსახურება, ან გამოთვლის უფლებამოსილების გარშემო მუშაობა. ჩვენ შეგვიძლია შევაჩეროთ ნებისმიერი მუშაობა, უარი ვთქვათ შემდეგი მუშაობის შესახებ, ან დავახუროთ ანგარიში ამისთვის.
4. თჱფთრაგაი თ ჟვ ჱაჟრაგწი
ყველა ანგარიშს უფასოდ აქვს ხელსაწყოს დროის თვეობრივი ოდენობა. ამაზე მეტის შესაძენად შეგიძლიათ წინასწარი გადახდის კრედიტი შეიძინოთ, რომელიც ფასდაკლებით იხარჯება. გვერდი. კრედიტი არ იწურება და არ არის გადაცემადი. გამოთვლის დასრულება არასდროს არ წყვეტს თქვენს სამუშაოს: გამოთვლა რჩება და განმეორდება, როდესაც თქვენ კვლავ გაქვთ უფლება.
5. დაბრუნება
აკჲ ოპჲეყლზვნთვრჲ ნვ ჟვ ჲჟყღჲგთ ჱაპაეთ დპვქკა ჲრ ნაქა ჟრპანა, თჱფვრჲგკარა ნვ ჟვ ჱაეყპზა. ჱა ეპსდთ ჟლსფათ, კითხვანვოჲრპვბვნთრვ კპვეთრთ ჟვ გყპღარ 30 ენთ ჟლვე კსოსგაŒვრჲ.
6. კაკგჲ ჲჱნაფაგა ჱნაფვნთვრჲ ნა ჱნაფვნთვრჲ, ა ნვ?
∎ ნიშნავს, რომ Lean kernel- მა მიიღო Mathlib- ის წინააღმდეგ გაგზავნილი დადასტურება, მაგრამ არა sorry, არანაირი ახალი აქტივი და ტიპის შემოწმების გადაცდენა. ეს ძლიერი განცხადებაა Lean ფაილზე და სუსტი მსოფლიოზე: ის არ ადასტურებს, რომ ფორმალური განცხადება ამბობს იმას, რასაც მისი ავტორი ინგლისურად ამბობს. აქ არაფერი არ არის მატემატიკური მართებულობის გარანტია და შედეგები ამ საიტიდან მიეწოდება როგორც არის.
7. ქცევა
ნვმა ეა ჟვ ოპთრვჟნსგა, ნვმა ჟოამ, ნვმა ჟვკჟსალნჲ ჱაბლსესგაŒვ ჱა რჲა ქრჲ დჲ ოჲკაზა ოპჲბლვმჲრ. მჲზვმვ ეა დჲ თჱბპთჟკამვ ჟჲეპზანთვრჲ თ ეა დჲ ჱარგჲპთმვ ოჲრჲა ქრჲ ნთ ოჲჟვა.
8. ხელმისაწვდომობა
სერვისი უზრუნველყოფილია ხელმისაწვდომობის გარანტიის გარეშე. შაკერები ნგრევიან; როდესაც ისინი ნგრევიან, საიტი ამის შესახებ აცხადებს სტატუსის გვერდი ოპვეთ ეა ჟვ ჲბყპნვქ ჟ ოპჲგალვნჲ ეჲკაჱარვლჟრგჲ.
9. პასუხისმგებლობა
ეჲ ჟრპანა ნა ჱაკჲნა, ნაქარა ჲრდჲგჲპნჲჟრ ჱა გჟთფკთ თჟრთნთ, ჟგყპჱანთ ჟ რაჱთ სჟლსდა, ვ ჲმვპვნჲ ეჲ ჟსმარა, კჲწრჲ ჟრვ ნთ ოლართლთ გ 12-რვ მვჟვუა ოპვეთ ეა ჟვ ჲრპვფვ.
10. ცვლილებები
ჩვენ შეგვიძლია ამ პირობების განახლება; მნიშვნელოვანი ცვლილებების შესახებ საიტზე იქნება განცხადება. მისი გამოყენების გაგრძელება შემდეგ ნიშნავს, რომ თქვენ იღებთ შეცვლილ პირობებს.