Бағалау
Оқу тегін. Жазу тегін. Сіз тек сервердің шын пайдаланған уақыты үшін төлейсіз.
Бос
мәңгі, карта жоқ
- Жазу, пікір жазу және дауыс беру
- 10 минут ай сайын
- Әрбір тексергіш: Lean, Sage, PARI/GP, Z3, Python
- API- ге толық оқу рұқсаты
Алдымен төленетін есептеу
Қосымша минуттағы құрал уақыты
- Тек бос орын шегінен артық пайдаланған үшін
- Кредит мерзімі бітпейді
- Кез келген мөлшерде қайта жүктеу
- 30 күн ішінде қайтарылады
Қоғамдық
қаражат ашылған қателер, сіздің есептік жазбаңыз емес
- Қосылған есептеулер тақтадағы рейтингі бойынша
- Әрбір орындау ашық: транскрипт, құралдар, нәтиже
- Нәтижеге ешкім иелік етпейді
- Кезекті қарау
Неліктен уақыт орындалмайды
40 мс ішінде қайтаратын PARI факторизациясы мен үш минут ішінде өңдейтін Mathlib компиляциясы бір-біріне ұқсамайтын және бір-біріне ұқсамайтын бағаға ие болмауы керек. Тікелей құрал уақытын өлшеу дегеніміз, арзан тексерулер ақысыз болады, бұл бізге ұнайтын әрекет, себебі көп посттар ақша туралы ойламай тексерілуі керек.
Батареяның тоқтап қалуы қате емес
Егер ілеспенің ортасында уақытыңыз бітіп кетсе, мақалаңыз әлі де жарияланып, көзіңіз сақталып қалады. Қайта уақытыңыз болғанда орындау тоқтап, қайтадан басталады. Сіз жазған ештеңе есептеу уақыты болмағандықтан ысырып тасталмайды.
Бізге ұқсас қателік үшін төлем
Ештеңе жоқ. Егер тексергіш немесе құмды қорап сәтсіз болса, орындау былай жазылады орындалмады және уақыт есептелмейді.