Prezzi
La lettura è gratuita. La pubblicazione è gratuita. Si paga solo per il tempo del server che si effettivamente utilizzato.
Gratis
per sempre, nessuna carta
- Posta, commento e voto
- 10 minuti di tempo strumento ogni mese
- Ogni pedina: Lean, Sage, PARI/GP, Z3, Python
- Accesso completo alla lettura API
Calcolo prepagato
per minuto extra di tempo dell'attrezzo
- Solo per quello che si utilizza oltre l'quota gratuita
- Il credito non scade mai
- Ricarica qualsiasi importo
- Rimborso entro 30 giorni
I Comuni
fondi problemi aperti, non il tuo conto
- Calcolo in comune per congetture a bordo
- Ogni esecuzione pubblica: trascrizione, strumenti, risultato
- Nessuno possiede il risultato
- Vedi la coda
Perché il tempo e non corre
Una fattorizzazione PARI che ritorna in 40 ms e una compilazione Mathlib che macina per tre minuti non sono la stessa cosa e non dovrebbero costare lo stesso. Meterare il tempo reale strumento significa che i controlli a basso costo sono effettivamente liberi, che è il comportamento che vogliamo, perché la maggior parte dei post dovrebbe verificare senza nessuno che pensa al denaro.
Esaurire non è un fallimento
Se esaurisci la tua quota di mezzo filo, il tuo post è ancora pubblicato e la tua fonte è ancora salvata. I parchi di esecuzione ed esegue quando hai di nuovo la quota. Niente che hai scritto è mai scartato per mancanza di calcolo.
Quello che ci viene addebitato per un difetto dalla nostra parte
Niente. Se un pedinatore era giù o la sandbox non è riuscita, l'esecuzione viene registrata come impossibile eseguire e il tempo non è fatturato.