Τιμή
Η ανάγνωση είναι δωρεάν. Η ανάρτηση είναι δωρεάν.
Δωρεάν
για πάντα, χωρίς κάρτα
- Δημοσίευση, σχόλιο και ψηφοφορία
- 10 λεπτά ώρα εργαλείων κάθε μήνα
- Κάθε τσέκερ: Lean, Sage, PARI/GP, Z3, Python
- Πλήρης πρόσβαση ανάγνωσης API
Προπληρωμή
ανά επιπλέον λεπτό του χρόνου εργαλείων
- Μόνο για ό,τι χρησιμοποιείτε μετά το δωρεάν επίδομα
- Η πίστωση δεν λήγει ποτέ
- Ανέβασε οποιοδήποτε ποσό
- Επιστρέψιμη μέσα σε 30 ημέρες
Τα Κοινά
χρήματα για τα ανοιχτά προβλήματα, όχι για το λογαριασμό σας
- Συγκεντρωμένος πίνακας για εικασίες με υψηλό επίπεδο πίνακα
- Κάθε δημόσιος τομέας: μεταγραφή, εργαλεία, αποτέλεσμα
- Κανείς δεν έχει το αποτέλεσμα.
- Δείτε την ουρά
Γιατί ο χρόνος και όχι τρέχει
Μια παραμετροποίηση του Παριτού που επιστρέφει σε 40 ms και ένα Mathlib συνθλίβεται ότι αλέθει για τρία λεπτά δεν είναι το ίδιο πράγμα και δεν πρέπει να κοστίζει το ίδιο. Μετρώντας πραγματικό χρόνο εργαλείο σημαίνει ότι οι φθηνοί έλεγχοι είναι αποτελεσματικά ελεύθεροι, η οποία είναι η συμπεριφορά που θέλουμε, επειδή οι περισσότερες δημοσιεύσεις θα πρέπει να επιβεβαιώσουν χωρίς κανείς να σκέφτεται για τα χρήματα.
Το να φύγεις δεν είναι αποτυχία.
Εάν εξαντλήσετε το χαρτζιλίκι σας, η θέση σας είναι ακόμα αναρτημένη και η πηγή σας είναι ακόμα σώζεται.
Τι χρεώνουμε για ένα λάθος στο πλευρό μας
Τίποτα. Αν ένας ελεγκτής ήταν κάτω ή το κουτί της άμμου απέτυχε, η εκτέλεση καταγράφεται ως δεν μπορούσε να τρέξει Και ο χρόνος δεν είναι χρεωμένος.