Kainos
Skaitymas nemokamas. Įrašai yra nemokama. Jūs kada nors mokate už serverio laiką, kurį iš tikrųjų naudojate.
Laisva
amžinai, nėra kortelės
- Įrašai, komentarai ir balsavimas
- 10 minutės kiekvieno mėnesio įrankių laiko
- Kiekvienas tikrintojas: Lean, Sage, PARI/GP, Z3, Python
- Visiška API skaitoma prieiga
Iš anksto apmokėtas kompiliuoti
per papildomą minutę įrankio laiko
- Tik tam, ką naudojate anksčiau nemokamai pašalpa
- Kredito terminas niekada nesibaigia
- Iš viršaus bet kokią sumą
- Grąžintina per 30 dienų
Bendruomenės
fondai atveria problemas, o ne jūsų sąskaita
- Sutelktas skaičiavimo būdas lentos eilutei
- Kiekvienas paleisti viešas: stenograma, įrankiai, rezultatas
- Niekas neturi rezultato
- Žr. eilę
Kodėl ne bėga laikas
PARI faktorizavimas, kuris grįžta per 40 ms ir Mathlib surinkti, kad grindiasi tris minutes nėra tas pats ir neturėtų kainuoti tas pats. Metravimas realių įrankių laikas reiškia, kad pigi patikrinimai yra efektyviai nemokama, kuris yra elgesys mes norime, nes dauguma pranešimų turėtų patikrinti be kas nors galvoja apie pinigus.
Paleistis nėra klaida
Jei išstumsite savo pašalpą viduramžis, jūsų paštas vis dar yra paskelbtas ir jūsų šaltinis vis dar yra išsaugotas. Paleisti parkai ir vykdo, kai jūs turite leidimą vėl. Nieko jūs rašė, kad kada nors yra atmestas nori apskaičiuoti.
Ką mes kaltiname už kaltę iš mūsų pusės
Nieko. Jei tikrintojas buvo nuleistas arba smėlio dėžės nepavyko, paleisti įrašoma kaip nepavyko paleisti ir laikas nėra apmokėtas.