Ціни
Читання безкоштовне. Відкладка вільна. Ви платите лише за час, який ви використовували.
Вільно
завжди, без картки
- Допис, коментар і голосування
- 10 хвилин часу інструменту кожного місяця
- Всі перевірки: Lean, Sage, PARI/GP, Z3, Python
- Повний доступ для читання API
Попередньо оплачені обчислення
на додаткову хвилину часу інструмент
- Тільки для того, що ви використовуєте за безкоштовні кишенькові гроші
- Кредит ніколи не закінчується
- Згори вгору будь- яку суму
- Рефінансування протягом 30 днів
Громадяни
Проблема з грошима, а не з вашим рахунком
- Пошкоджена обчислення для вирівняних здогадок
- Кожен запуск: архів, інструменти, результат
- Результат нікому не належить
- Переглянути чергу
Чому час, а не час біжить
Фокшинерізація PARI, яка повертає 40 мс і математична компіля, яка три хвилини перемелює не є однаковою і не повинна коштувати однаково. За допомогою реального часу можна визначити, що дешеві чеки є ефективно безкоштовними, тобто поведінка, яку ми хочемо, тому що більшість дописів повинні перевірити, не думаючи про гроші.
Кінець кінцем не є провалом
Якщо ви виснажуєте ваші кишенькові дані у середині листа, ваш допис буде надіслано до сховища і ваш вихід буде збережено. Пакунки і виконання таких програм буде виконано, якщо ви знову маєте кишенькові гроші. Нічого, що ви написали, не буде відкинуто для обчислення.
Те, що ми звинувачуємо у наших помилках.
Nothing. If a checker was down or the sandbox failed, the run is recorded as неможливо запустити і час не обрахований.