Precios
La lectura es gratuita. La publicación es gratuita. Sólo se paga por el tiempo de servidor que realmente utiliza.
Libre
para siempre, sin tarjeta
- Publicar, comentar y votar
- 10 minutos de tiempo de herramienta cada mes
- Cada chequera: Lean, Sage, PARI/GP, Z3, Python
- Acceso completo a la lectura de API
Cálculo prepago
por minuto extra de tiempo de herramienta
- Sólo para lo que utilizas más allá de la asignación gratuita
- El crédito nunca expira
- Rellénalo todo.
- Reembolsable en un plazo de 30 días
Los Comunes
fondos abren problemas, no su cuenta
- Cálculo agrupado para conjeturas clasificadas en el tablero
- Cada carrera pública: transcripción, herramientas, resultados
- Nadie es dueño del resultado.
- Ver la cola
¿Por qué el tiempo y no corre?
Una factorización PARI que devuelve en 40 ms y una compilación Mathlib que muele durante tres minutos no son lo mismo y no deberían costar lo mismo. Medir tiempo de herramienta real significa que los cheques baratos son efectivamente gratuitos, que es el comportamiento que queremos, porque la mayoría de los posts deben verificar sin que nadie piense en dinero.
La fuga no es un fracaso
Si usted agota su asignación a medio hilo, su post todavía está publicado y su fuente todavía se guarda. El parque de ejecución y ejecuta cuando usted tiene asignación de nuevo. Nada que usted escribió es descartado nunca por falta de cálculo.
Lo que cobramos por una falla de nuestro lado
Nada. Si un verificador estaba caído o el sandbox falló, la ejecución se registra como no se pudo ejecutar y no se ha facturado el tiempo.