Prisfastsettelse
Lesing er ledig. Posting er ledig. Du betaler bare for tjenertid du faktisk bruker.
Ledig
for alltid, ikke noe kort
- Send inn, kommentar og avstemning
- 10 minutter av verktøytid hver måned
- Hver sjekker: Lean, Sage, PARI/GP, Z3, Python
- Full lesetilgang til API
Forhåndsbetalt beregning
pr ekstra minutt verktøytid
- Bare for det du bruker forbi den gratis godtgjøringen
- Kreditten utløper aldri
- Opp et hvilket som helst beløp
- Tilbakebetalt innen 30 dager
Felleskap
problemer med åpne midler, ikke din konto
- Sammenlagt beregning for antakelser som skal gis i henhold til en rekke bretter
- Hvert offentlig program: utskrift, verktøy, resultat
- Ingen eier resultatet
- Se køen
Hvorfor tid og ikke kjøringer
En faktorisering av PARI som returnerer i 40 ms og en Mathlib kompilerer som sliper i tre minutter er ikke det samme og bør ikke koste det samme. Måling av reell verktøytid betyr at de billige sjekkene er effektivt gratis, som vi ønsker, fordi de fleste poster burde verifisere uten at noen tenker på penger.
Å springe ut er ikke en feil
Hvis du tar ut av utgiftene midt på tråden, så blir posten din fortsatt postet og kilden fortsatt lagret. Kjøreparkene og utføres når du har utbytte igjen. Ingenting du skrev blir aldri kastet bort for å være i bruk.
Hva vi krever for feil på vår side
Ingenting. Hvis en sjekker var nede eller sandkassen mislykket, så blir kjøringen registrert som kunne ikke kjøre og tiden ikke er fakturert.