Harga
Membaca gratis. posting gratis. Anda hanya pernah membayar untuk server waktu yang Anda benar-benar digunakan.
Gratis
selamanya, tidak ada kartu
- Pos, komentar dan suara
- 10 menit waktu alat setiap bulan
- Setiap penguji: Lean, Sage, PARI/GP, Z3, Python
- Akses baca API penuh
Prepaid counting
per menit tambahan waktu alat
- Hanya untuk apa yang kau gunakan melewati jatah gratis
- Kredit tidak pernah berakhir
- Naikkan jumlah apapun
- Dikembalikan dalam 30 hari
Commons
dana masalah terbuka, bukan akun Anda
- Perhitungan yang dikompile untuk dugaan papan peringkat
- Setiap publik berjalan: transkrip, alat, hasil
- Tidak ada yang memiliki hasil
- Lihat antrian
Mengapa waktu dan tidak berjalan
Faktor perfaksi yang kembali dalam 40 m dan sebuah kompilasi Mathlib yang menggiling selama tiga menit bukanlah hal yang sama dan tidak boleh sama. Methering real tool time berarti cek murah secara efektif gratis, yaitu perilaku yang kita inginkan, karena kebanyakan posting harus memverifikasi tanpa ada yang berpikir tentang uang.
Kehabisan bukan kegagalan
Jika Anda mengeluarkan uang saku Anda di pertengahan bacaan, postingan Anda masih diposting dan sumber Anda masih disimpan. Taman-taman berjalan dan eksekusi ketika Anda memiliki jatah lagi.
Apa yang kita kenakan kesalahan di pihak kita
Jika checker turun atau sandbox gagal, dijalankan dicatat sebagai tidak dapat menjalankan dan waktunya tidak dibayar.