მომსახურების პირობები
1. რას აკეთებს სერვისი
თჱოჲლჱგაირვ ჟთ ჟრპანდაპეა. ოპვგყპქგამვ დჲ ოპვჱ ჟთლთრვ ნა ჟთლთრვ ნა ჟთლთრვ, ოჲგვფვ ჟთ ჟთლთრვ ნა ჟთლთრვ, თ ოპჲბაგამვ ეა ოჲჟრჲპთმვ ოპჲმვნთ გ Lean 4 ოპჲრთგ Mathlib. თჱლვჱყრ ვ ოპვგყპქვნთვ, ჟყგვევნთვ, ჲრკაზვნთვ, თ აკჲ ჟთ ოპჲბგალა ეა ოჲჟრჲპთქ ოპჲმვნთ, ოპჲმვნთრვ ჟვ გ ჟრპანდაპეა.
2. რა არის და რა არაა გამონატანი
თჱჳჲეყრ ვ დვნვპთპან ჲრ თნრვლვკრსალნთ მჲევლთ ნა რპვრთ ჟრპანთ, ნვ ვ ჟყგვრ. ნვ ვ ლვდალვნ, მვეთუთნჟკთ, ტთნანჟთჲნვნ, თნზვნვპჟკთ თლთ ოპჲტვჟთჲნალვნ ჟყგვრ ჲრ ნწკჲი ჟგთწ თ ნვ ჟვ ჟყჱეაგარ ოპჲტვჟთჲნალნთ ჲრნჲქვნთწ ჟ ოჲლჱგანვრჲ ნა რჲჱთ ჟლსზბვნ ოპჲდპამ.
ჟყეთწრა, კჲირჲ ჲრკპთგა, ფვ კპთრვპთწრა ჟა ჟოპჲრთგნთ, თჱპაზწგა ჟთ ოპვეჟრაგა ჱა ოპჲგვპვნთწრა ჱა ჲნვჱთ თდპა. ნვ ჟვ ჱარგჲპწგა ჱა ოპაგთლნჲჟრრა. ჟთლთრვ ჟვ ოპაგწრ ჟბყლქვნთწ, ნვ ჟვ ჟყგყპზაგარ ჟ თჱრჲფნთრვ თ მჲდარ ეა თჱმთჟლწრ უთრართ, თჱგთნვნთწრა ნვ ჟა ჱა რჲგა. რპწბგა ეა ჟვ ჟყდლაჟთქ ჟ გჟთფკჲ, ნა კჲვრჲ ჟვ ჲჟყჱნაგაქ.ჲგა ვ თნჟრპსმვნრ ჱა რვჟრთპაŒვ ნა ოპვჟრჲ£ანთვ, ნვ ჱამვნთკ ნა კგთრთტთკსგანთჲრ ფჲგვკჲგ ოპვდლვე.
Lean- ის წარმატებული ფორმალიზაცია ნიშნავს, რომ Lean- ის ბირთვმა მიიღო ფორმალიზაციის დადასტურება, რომელიც Mathlib ვერსიის გამოყენების დროს იყო. ეს არ ნიშნავს, რომ ეს განცხადება თქვენი თხოვნის ზუსტი თარგმანია და ფორმალური განცხადების არჩევა, რომელიც არ ამბობს რასაც ნიშნავთ, არის ყველაზე გავრცელებული ფორმალური შედეგის შეცდომების მიზეზი. წაიკითხეთ ფორმალური განცხადება, არა მხოლოდ განაჩენი.
3. თქვენი შინაარსი
თქვენ დარჩებით თქვენი განაცხადის და გამონატანის მფლობელი. თქვენ გვაძლევთ მხოლოდ სერვისის მოქმედებისთვის საჭირო ლიცენზიას: თქვენი განაცხადის დამუშავება, მისი გადაცემა მოდელების მთავაზებელს, რომელიც თქვენ აირჩიეთ და მიღებული თავსებადობის შენახვა, რათა თქვენ შეძლოთ მისი დაბრუნება.
ნაგულისხმევი პარამეტრებით შეთავსებადობა პირადია. თუ შეთავსებადობას საზოგადოებრივად შეარჩიებთ, ის ყველასთვის ხილული გახდება, ვისაც ბმული აქვს და შეიძლება გამოჩნდეს საზოგადოებრივ გალერეაში. არ გამოაქვეყნოთ შეთავსებადობა, რომელიც რამე კონფიდენციალურს შეიცავს.
არ გაგზავნოთ სხვა პიროვნებების შესახებ პირადი მონაცემები, კონფიდენციალური მასალა, რომლის გაზიარებასაც არ გაქვთ უფლება, ან აკრძალული შინაარსი.
კრედიტები და გადარიცხვები
კრედიტი წინასწარ გადახდილია და იხარჯება თამაშის დაწყებისას. ყველა მატჩს აქვს ხარჯვის ლიმიტი, რომელიც თქვენ ადგენთ; მის მიღწევისას მატჩი შეჩერებულია და ხარჯვის გაგრძელება არ ხდება. ბარათები არ გადაეცემა და, გარდა კანონით მოთხოვნილი შემთხვევებისა, არ იხდება უკან. არ გამოყენებული კრედიტი იხდება მოთხოვნის შემთხვევაში.
თუკი საკუთარი დასკვნის გასაღების დაკავშირება გადაწყვიტეთ, თქვენ პირდაპირ გადაიხდით თქვენს პროვაიდერს და ჩვენ არ დავაზარალებთ ტოკენს. უფასო ოდენობის გადაჭარბების შემთხვევაში, ინფრასტრუქტურის გადასახადი მოქმედებს პანელების, ინსტრუმენტების და საცავის მუშაობის დაფარვისთვის.
ჟმვ ჟთ ოპჲმვნთლთ უვნთრვ ჟ ოპვესოპვევნთვ. ოპჲმვნთრვ ნვ ჟვ ოპთლადაარ ნა გვფვ ჱაკსოვნთრვ კპვეთრთ.
გამოყენება
არ გამოიყენოთ სერვისი სხვას ზიანის მიყენების მიზნით, ჩვენი თხოვნების ან სისტემური ინსტრუქციების ამოღების მიზნით, ხარჯვის ან ფასის საზღვრების გადალახვისთვის, ან წვდომის გადასაყიდად წერილით შეთანხმების გარეშე. კოდის შესრულების ხელსაწყო არის მოთხოვნების შემოწმების მიზნით; არ გამოიყენოთ ის სისტემის დაბომბვისთვის.
ხელმისაწვდომობა
ჩვენ დამოკიდებულნი ვართ მესამე მხარის მოდელების მიმწოდებელზე. მიმწოდებელი წყვეტს მუშაობას, ცვლის მოდელებს და უშვებს მათ. ნებისმიერი მიზეზით შეწყვეტილი შეთავსება შეჩერებულია და აღდგება; ჩვენ არ ვიღებთ გადასახადს იმ სამუშაოსთვის, რომელიც არ მოხდა. ჩვენ არ ვამბობთ, რომ შეუფერხებლად იქნება ხელმისაწვდომი და წინასწარ გამოყენებული მოდელები შეიძლება არ იყოს ხელმისაწვდომი.
პასუხისმგებლობა
კანონით დაშვებული მაქსიმალური ზომით, სერვისი მიეწოდება როგორც არის, არანაირი გარანტიის გარეშე. ჩვენი სრული პასუხისმგებლობა ნებისმიერი მოთხოვნის შემთხვევაში შეზღუდულია იმ თანხით, რომელიც თქვენ გადაუხადეთ ჩვენ 3 თვის განმავლობაში მოთხოვნის დაწყებამდე. ჩვენ არ ვართ პასუხისმგებლები არაპირდაპირი ან შედეგიანი ზარალის გამო, მათ შორის ნებისმიერი ზარალის გამო, რომელიც მოდის მოდელის გამონატანზე დამოკიდებულების გამო.
დასრულება
თქვენ შეგიძლიათ ნებისმიერ დროს დახუროთ თქვენი ანგარიში; ჩვენ დაგიბრუნებთ არგამოყენებულ კრედიტს. ჩვენ შეგვიძლია შევაჩეროთ ანგარიშები, რომლებიც ამ პირობებს არღვევს ან სერვისს რისკს უქმნის.
ცვლილებები, ენა და კონტაქტიName
ჩვენ შეგვიძლია ამ პირობების განახლება; მასობრივი ცვლილებები საიტზე გამოცხადდება.
ამ გვერდის თარგმანები მოსახერხებელია და ავტომატურად არის შექმნილი. თუ თარგმანი და ინგლისური ვერსია განსხვავდება, ინგლისური ვერსია მოქმედებს.
კითხვები: კონტაქტი.