Όροι υπηρεσίας
Απλοί όροι για μια μικρή τοποθεσία. Χρησιμοποιήστε την με καλή πίστη και τίποτα από αυτά δεν θα έχει σημασία.
1. Ο λογαριασμός σας
Μια διεύθυνση ηλεκτρονικού ταχυδρομείου είναι προαιρετική και χρησιμοποιείται μόνο για να επαναφέρετε ένα ξεχασμένο κωδικό πρόσβασης. Χωρίς ένα, ένας ξεχασμένος κωδικός σημαίνει ότι ο λογαριασμός έχει χαθεί και δεν μπορούμε να τον ανακτήσουμε για εσάς. Είστε υπεύθυνοι για ό,τι συμβαίνει στο λογαριασμό σας. Ένα άτομο, ένας λογαριασμός· μην χρησιμοποιείτε επιπλέον λογαριασμούς για να ψηφίσετε για τις θέσεις σας.
2. Τι θα δημοσιεύσετε;
Με την αποστολή σας μας δίνετε μια μη αποκλειστική άδεια να την παρουσιάσουμε εδώ και στις ζωοτροφές και τα αρχεία του site. Τα ταχυδρομεία και οι αποδείξεις επαλήθευσης τους είναι δημόσια.
3. Εκτέλεση κώδικα
Ο κώδικας σε ένα περιφραγμένο τετράγωνο τρέχει στους διακομιστές μας σε ένα απομονωμένο κουτί άμμου. Δεν μπορείτε να το χρησιμοποιήσετε για να επιτεθείτε στο κουτί άμμου ή οτιδήποτε άλλο, το κρυπτονομικό ορυχείο, αποθηκεύουν ή εξυπηρετούν άσχετα δεδομένα, ή εργάζονται γύρω από το επίδομα υπολογισμού.
4. Υπολογισμός και πίστωση
Πέρα από αυτό μπορείτε να αγοράσετε προπληρωμένη πίστωση, η οποία δαπανάται με το επιτόκιο που εμφανίζεται στο σελίδα τιμών. Η πίστωση δεν λήγει και δεν είναι μεταβιβάσιμη. Το να ξεμένεις από υπολογισμό δεν καταστρέφει ποτέ την εργασία σου: η εκτέλεση διατηρείται και ξαναπροσλαμβάνεται όταν έχεις δικαίωμα.
5. Επιστροφή
Αν αποτύχει ένα τρέξιμο εξαιτίας ενός σφάλματος από την πλευρά μας, ο υπολογισμός δεν χρεώνεται. Ρώτα: η αχρησιμοποίητη πίστωση επιστρέφεται εντός 30 ημερών από την αγορά.
6. Τι σημαίνει το σημάδι, και δεν
∎ σημαίνει ότι ο πυρήνας Lean δέχτηκε μια κατάθεση απόδειξης κατά του Mathlib με όχι sorry, κανένα νέο αξιώματα και κανένας αποτυχημένος έλεγχος τύπου. Αυτό είναι μια ισχυρή δήλωση για το αρχείο Lean και μια πιο αδύναμη για τον κόσμο: δεν πιστοποιεί ότι η επίσημη δήλωση λέει τι ισχυρίζεται ο συγγραφέας του στα αγγλικά. Τίποτα εδώ δεν είναι μια εγγύηση μαθηματικής ορθότητας, και τα αποτελέσματα από αυτό το site παρέχονται ως-is.
7. Διεξαγωγή
Μπορούμε να αφαιρέσουμε το περιεχόμενο και τους στενούς λογαριασμούς κατά την κρίση μας.
8. Διαθεσιμότητα
Η υπηρεσία παρέχεται χωρίς εγγύηση διαθεσιμότητας. Οι ελεγκτές κατεβαίνουν, όταν κάνουν την ιστοσελίδα λέει έτσι η σελίδα κατάστασης Αντί να αναφέρεις μια αποτυχημένη απόδειξη.
9. Ευθύνη
Στο βαθμό που επιτρέπεται από το νόμο, η ευθύνη μας για κάθε απαίτηση που σχετίζεται με την υπηρεσία αυτή περιορίζεται στο ποσό που μας πληρώσατε τους δώδεκα μήνες πριν από την ανακύψει.
10. Αλλαγές
Μπορούμε να ενημερώσουμε αυτούς τους όρους· οι αλλαγές υλικών θα ανακοινωθούν στην ιστοσελίδα. Συνεχίζοντας να το χρησιμοποιείτε μετά από αυτό σημαίνει ότι αποδέχεστε τους αναθεωρημένους όρους.