सेवाको शर्तहरू

सानो साइटका लागि सादा शर्तहरू। यसलाई राम्रो विश्वासमा प्रयोग गर्नुहोस् र यो कुरा हुनेछ।

1. तपाईँको खाता

खाता प्रयोगकर्ता नाम र पासवर्ड हो । इमेल ठेगाना वैकल्पिक छ र बिर्सिएको पासवर्ड रिसेट गर्न मात्र प्रयोग गरिन्छ । एक बिना, एक बिर्सिएको पासवर्ड खाता गएको छ, र हामी तपाईंको लागि यो पुन: प्राप्त गर्न सक्दैन। तपाईँले आफ्नो खाता अन्तर्गत के हुन्छ भनेर जिम्मेवार हुनुहुन्छ । एक व्यक्ति, एक खाता; आफ्नो आफ्नै पोस्टमा मत दिन अतिरिक्त खाता प्रयोग नगर्नुहोस् ।

2. तपाईँले पोस्ट गर्नुभएको

तपाईं लेख्न के को मालिकाना राख्न. पोस्ट गरेर तपाईं हामीलाई यहाँ र साइट को फिड र संग्रह मा यो प्रदर्शन गर्न एक गैर-अनुकूल लाइसेन्स प्रदान. पोस्ट र आफ्नो प्रमाणीकरण प्राप्ति सार्वजनिक छन्.

3. कोड कार्यान्वयन

एक fenced ब्लक कोड एक अलग Sandbox मा हाम्रो सर्भर मा चल्छ. तपाईं Sandbox वा अरू केही आक्रमण गर्न यसलाई प्रयोग गर्न सक्दैन, cryptocurrency खन्याउन, भण्डारण वा अपरिचित डाटा सेवा, वा गणना अनुदान वरिपरि काम. हामी कुनै पनि चलाउन रोक्न सक्छ, थप चलाउन अस्वीकार, वा यसो गर्न लागि खाता बन्द.

4. गणना र क्रेडिट

हरेक खाता कुनै शुल्क मा उपकरण समय को एक मासिक अनुदान प्राप्त. यो भन्दा बाहिर तपाईं पूर्व भुक्तानी क्रेडिट किन्न सक्छ, जो मा देखा परेको दर मा खर्च गरिएको छ मूल्याङ्कन पृष्ठ. क्रेडिटको म्याद समाप्त हुँदैन र स्थानान्तरणयोग्य छैन । गणना बाहिर चलाउनुले तपाईँको काम कहिल्यै नष्ट गर्दैन: तपाईँले फेरि अनुमति पाउँदा चलाउनु राखिन्छ र पुन: प्रयास गरिन्छ ।

5. फिर्ता

यदि एक रन कारण हाम्रो पक्षमा एक त्रुटि असफल हुन्छ भने, गणना चार्ज गरिएको छैन। अन्य केही लागि, सोध्नुहोस्: प्रयोग नगरिएको क्रेडिट खरीदको 30 दिन भित्र फिर्ता गर्न सकिन्छ।

6. चिन्हको अर्थ के हो, र छैन

∎ मतलब बाक्लो कर्नेलले कुनैसँग Mathlib विरुद्ध पेश गरिएको प्रमाण स्वीकार गर्यो sorry, कुनै नयाँ axiom र कुनै skipped प्रकार-चेकिङ. त्यो Lean फाइल र संसारको बारेमा एक कमजोर एक बारेमा बलियो बयान छ: यो औपचारिक बयान अंग्रेजी मा आफ्नो लेखक दावी के भन्छ भनेर प्रमाणित छैन. यहाँ केही गणितीय सही को एक ग्यारेन्टी छ, र यो साइट देखि परिणाम प्रदान गरिएको छ रूपमा-छ.

7. कार्य

कुनै पनि उत्पीडन, कुनै स्पाम, कुनै पनि जानबूझकर एक दौड देखाए के बारेमा भ्रमित दावी. हामी सामग्री हटाउन र हाम्रो विवेक मा खाता बन्द गर्न सक्नुहुन्छ.

8. उपलब्धता

सेवा उपलब्धता को ग्यारेन्टी बिना प्रदान गरिएको छ. जाँचकर्ता तल जानुहोस्; जब तिनीहरूले साइट मा यसो भन्छन् वस्तुस्थिति पृष्ठ बरु एक असफल प्रमाण रिपोर्ट भन्दा।

9. दायित्व

कानून द्वारा अनुमति दिएको हदसम्म, यो सेवा सम्बन्धित कुनै पनि दाबी लागि हाम्रो दायित्व यो उत्पन्न अघि बाह्र महिनामा तपाईंले हामीलाई भुक्तानी गरेको रकममा सीमित छ।

10. परिवर्तन

हामी यी शर्तहरू अद्यावधिक गर्न सक्छन्; सामाग्री परिवर्तन साइट मा घोषणा गरिनेछ. कि पछि यो प्रयोग गर्न जारी अर्थ तपाईं संशोधित शर्तहरू स्वीकार.

प्रश्न.