Harga
Membaca adalah percuma. Memuat naik adalah percuma. Anda hanya membayar untuk masa pelayan yang anda sebenarnya gunakan.
Bebas
selamanya, tiada kad
- Post, komen dan undi
- 10 minit of tool time each month
- Setiap periksa: Lean, Sage, PARI/GP, Z3, Python
- Keizinan baca API penuh
Pengiraan prabayar
setiap minit tambahan masa alat
- Hanya untuk apa yang anda gunakan melebihi kadar percuma
- Kredit tidak pernah luput
- Tambahkan mana-mana jumlah
- Boleh dibayar balik dalam masa 30 hari
The Commons
masalah terbuka dana, bukan akaun anda
- Pengiraan berkumpul untuk dugaan papan-diperingkat
- Setiap jalankan awam: transkripsi, alat, hasil
- Tiada siapa yang memiliki hasil
- Lihat barisan tunggu
Kenapa masa dan tidak berjalan
Faktorisasi PARI yang kembali dalam 40 ms dan kompilasi Mathlib yang menggiling selama tiga minit bukan perkara yang sama dan tidak sepatutnya bernilai sama. Memeter masa alat sebenar bermakna periksa murah secara efektif percuma, yang merupakan perilaku yang kita mahu, kerana kebanyakan post harus disahkan tanpa sesiapa berfikir tentang wang.
Kehabisan tenaga bukanlah satu kegagalan.
Jika anda kehabisan keizinan anda di tengah-tengah rantaian, artikel anda masih dimuatkan dan sumber anda masih disimpan. Jalankan parki dan laksanakan bila anda mempunyai keizinan lagi. Tiada apa yang anda tulis pernah dibuang kerana tiada pengiraan.
Apa yang kami bayar untuk kesilapan di pihak kami
Tiada apa- apa. Jika periksa turun atau kotak pasir gagal, pelaksanaan direkodkan sebagai tidak dapat dilaksanakan Dan masa tidak dikira.