Qiymətləndirmə
Oxumaq pulsuzdur. Post etmək pulsuzdur. Siz yalnız server vaxtı üçün ödəyirsiniz.
Pulsuz
kart yoxdur
- Post, şərh və səs
- 10 dəqiqə %s'i axtarır
- Hər bir sınaqçı: Lean, Sage, PARI/GP, Z3, Python
- Tam API oxumaq icazəsi
Ödənişsiz hesablama
hər əlavə dəqiqə üçün
- Yalnız azad icazədən sonra istifadə etdiyiniz şeylər üçün
- Kredit heç vaxt bitmir
- Hər hansı məbləği yüklə
- 30 gün ərzində geri qaytarıla bilər
Commons
hesabınız deyil, fondlar açıq problemlər yaradır
- Board-ranked guesses üçün pooled hesablama
- Hər bir işləmə ictimaidir: transkript, alətlər, nəticə
- Heç kəs nəticəyə sahib deyil
- Qovşağı gör
Niyə vaxt getmir?
40 ms-də geri dönən PARI faktorizasiyası və üç dəqiqə ərzində işlənən Mathlib tərcüməsi eyni şey deyil və eyni qiymətə də düşməməlidir. Rəsmi alət vaxtını ölçmək ucuz yoxlamalara effektiv pulsuzluq deməkdir, bu bizim istədiyimiz davranışdır, çünki çoxlu postlar heç kim pul düşünmədən yoxlanmalıdır.
Axmaqlıq bir səhv deyil
Əgər işin ortasında məktublarınızın sayı tükənərsə, məktublarınız hələ də göndərilir və mənbəniz hələ də qeyd edilir. İcra prosesi yenidən məktublarınızın sayı tükəndikdə dayanır və yerinə yetirilir. Yazdığınız heç bir şey hesablama çatışmazlığı səbəbindən heç vaxt silinmir.
Bizim tərəfimizdən bir səhv üçün nə ödəməliyik
Heç nə. Əgər bir yoxlayıcı aşağı düşdüsə ya da sandbox səhv oldusa, işləmə bu kimi qeyd edilir %s: %s'i işlədə bilmədim və vaxt hesablanmır.