Preços
A leitura é gratuita. A postagem é gratuita. Você só paga por tempo do servidor que você realmente usou.
Livre
para sempre, sem cartão
- Post, comentários e votação
- 10 minutos de tempo de ferramenta por mês
- Cada davador: Lean, Sage, PARI/GP, Z3, Python
- Acesso completo à leitura da API
Computador pré-pago
por minuto extra do tempo da ferramenta
- Só para o que você usa além do cota gratuito
- O crédito nunca expira
- Abastecer qualquer quantidade
- Reembolso no prazo de 30 dias
Os Comuns
fundos abrir problemas, não sua conta
- Computador de conjunto para conjecturas de bordo
- Cada execução pública: transcrição, ferramentas, desfecho
- Ninguém é dono do resultado
- Veja a fila
Por que tempo e não corre
Uma factorização PARI que retorna em 40 ms e uma compilação Mathlib que molha por três minutos não é a mesma coisa e não deve custar o mesmo. Medir tempo real ferramentas significa que os cheques baratos são efetivamente livres, que é o comportamento que queremos, porque a maioria dos posts deve verificar sem que ninguém pense sobre dinheiro.
Execução não é um fracasso
Se você esgotar seu cota de média-thread, seu post ainda é postado e sua fonte ainda é salvo. Os parques de correr e executa quando você tem cota novamente. Nada que você escreveu é descartado por falta de cálculo.
O que cobramos por uma culpa do nosso lado
Nada. Se um verificador estava desligado ou o borrador de trabalho falhou, a execução é gravada como não foi possível executar e o tempo não é facturado.