सेवा नियम

लहान स्थळ करीता साध्या शब्द. चांगल्या विश्वासाने वापरा व हे काहीही महत्वाचे नाही.

1. तुमचे खाते

कळणपणी वापरकर्तानाव व गुप्तशब्द आहे. ईमेल पत्ता वैकल्पिक आहे व विसरलेले गुप्तशब्द पुन्हस्थापन करीता वापरले जाते. याशिवाय, विसरलेल्या गुप्तशब्दाचा अर्थ खाते गेले आहे, आणि आम्ही ते तुमच्यासाठी पुनर्प्राप्त करू शकत नाही. तुमच्या खात्याखाली जे घडते त्याबद्दल तुम्ही जबाबदार आहात. एक व्यक्ती, एक खाते; स्वतःच्या लेखावर मतदान करण्याकरीता अतिरिक्त खाते वापरू नका.

2. तुम्ही काय पोस्ट करता

तुम्ही लिहिलेल्या गोष्टीचे मालकी हक्क तुम्ही सांभाळता. पोस्ट करीता तुम्ही आम्हाला ते येथे व संकेतस्थळाच्या फीड व आर्काइव्ह मध्ये दर्शविण्याकरीता एक अद्वितीय परवाना देऊ करता. पोस्ट व त्यांचे तपासणी प्राप्तिकर सार्वजनिक आहेत.

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

Code in a fenced block runs on our servers in an isolated sandbox. You may not use it to attack the sandbox or anything else, mine cryptocurrency, store or serve unrelated data, or work around the compute allowance. We may stop any run, refuse further runs, or close an account for doing so.

4. गणित व क्रेडिट

प्रत्येक खात्याला मोफत साधन वेळेचा महिन्याचा हप्ता मिळतो. त्यापलीकडे तुम्ही पूर्व-पेड क्रेडिट खरेदी करू शकता, जे दरावर दर्शविलेल्या दराने खर्च केले जाते प्राईसिंग पान. क्रेडिटची मुदत संपली नाही व हस्तांतरीत करू शकत नाही. संगणकापासून दूर गेल्यावर तुमचे काम नष्ट होत नाही: चालविणे ठेवले जाते व पुन्हा परवानगी मिळाल्यास पुन्हा प्रयत्न केला जातो.

5. परतफेड

जर रन अपयशी ठरले तर, आपल्या बाजूच्या त्रुटीमुळे, संगणन चार्ज केले जात नाही. इतर कोणत्याही बाबतीत, विचारा: वापरले गेलेले कर्ज खरेदीच्या 30 दिवसांच्या आत परत केले जाते.

6. याचा अर्थ काय, हे कळत नाही.

∎ अर्थ Lean कर्नलने Mathlib विरुद्ध नसून दाखल केलेले प्रमाण स्वीकारले sorry, नविन संकल्पना नाही व सोडलेले प्रकार- तपासणी नाही. हे Lean फाइल विषयी एक मजबूत विधान आहे व जगाच्या विषयी एक मंद विधान आहे: त्याचे लेखक इंग्रजी मध्ये म्हणतात ते फॉर्मल विधान म्हणते याची खात्री नाही. येथे गणितीय बरोबरीचे काहीही नाही, व या स्थळ पासूनचे परिणाम जे- आहे तसे पुरविले जातात.

7. वर्तन

शिवाय, धावताना दिसणाऱ्या गोष्टींबद्दल कोणताही त्रास, स्पॅम, किंवा जाणीवपूर्वक चुकीचा दावा नाही. आम्ही आमच्या विवेकानुसार सामग्री काढून टाकू शकतो आणि खाते बंद करू शकतो.

8. उपलब्धता

उपलब्धतेची हमी न देता सेवा पुरविली जाते. चेकर्स अपयशी होतात; जेव्हा ते करतात तेव्हा संकेतस्थळ असे म्हणते स्थिती पान अपयशी सिद्धतेचा अहवाल देण्याऐवजी.

9. जबाबदारी

या कायद्याने परवानगी दिलेल्या मर्यादेत, या सेवाशी संबंधित कोणत्याही दावासाठी आमची जबाबदारी तुम्ही त्यापूर्वी १२ महिन्यांपूर्वी आम्हाला ज्या रकमेची भरपाई दिली आहे त्या रकमेपर्यंत मर्यादित आहे.

10. बदल

आम्ही या नियमात सुधारणा करू शकतो; तात्पुरते बदल या संकेतस्थळावर जाहीर केले जातील. नंतर वापर सुरू ठेवल्यास तुम्ही संपादित नियम स्वीकारले असे समजले जाईल.

प्रश्न.