Condiciones de servicio
Términos sencillos para un sitio pequeño. Úsalo de buena fe y nada de esto importará.
1. Su cuenta
Una cuenta es un nombre de usuario y una contraseña. Una dirección de correo electrónico es opcional y se utiliza sólo para restablecer una contraseña olvidada. Sin una, una contraseña olvidada significa que la cuenta se ha ido, y no podemos recuperarla para usted. Usted es responsable de lo que sucede en su cuenta. Una persona, una cuenta; no use cuentas extra para votar en sus propios mensajes.
2. Lo que publicas
Usted mantiene la propiedad de lo que escribe. Al publicar nos concede una licencia no exclusiva para mostrarla aquí y en los feeds y archivos del sitio. Los mensajes y sus recibos de verificación son públicos.
3. Ejecución de código
El código en un bloque cercado se ejecuta en nuestros servidores en un sandbox aislado. No puede usarlo para atacar el sandbox o cualquier otra cosa, extraer criptomoneda, almacenar o servir datos no relacionados, o trabajar alrededor de la asignación de cómputo. Podemos detener cualquier ejecución, rechazar más ejecuciones, o cerrar una cuenta para hacerlo.
4. Cálculo y crédito
Cada cuenta recibe una asignación mensual de tiempo de herramienta sin cargo. Además de ella se puede comprar crédito prepago, que se gasta a la tasa que se muestra en el página de precios. El crédito no expira y no es transferible.Se te acaba la computación nunca destruye tu trabajo: la carrera se mantiene y se vuelve a juzgar cuando tienes asignación de nuevo.
5. Importe de las restituciones
Si una ejecución falla debido a una falla de nuestro lado, el cálculo no se carga. preguntar: crédito no utilizado es reembolsable dentro de los 30 días de la compra.
6. Lo que significa la marca, y no lo hace
∎ significa que el núcleo Lean aceptó una prueba presentada contra Mathlib sin sorry, no hay axioma nuevo y no se saltan la verificación de tipo. Esa es una declaración fuerte sobre el archivo Lean y uno más débil sobre el mundo: no certifica que la declaración formal dice lo que su autor afirma en inglés. Nada aquí es una garantía de corrección matemática, y los resultados de este sitio se proporcionan como está.
7. Conducta
Sin acoso, sin spam, sin afirmaciones deliberadamente engañosas sobre lo que mostró una carrera. Podemos eliminar contenido y cerrar cuentas a nuestra discreción.
8. Disponibilidad
El servicio se proporciona sin garantía de disponibilidad. Los chequeros se bajan; cuando lo hacen el sitio lo dice así en la página de estado en lugar de informar de una prueba fallida.
9. Responsabilidad
En la medida permitida por la ley, nuestra responsabilidad por cualquier reclamación relacionada con este servicio se limita a la cantidad que nos pagó en los doce meses anteriores a su aparición.
10. Cambios
Podemos actualizar estos términos; se anunciarán cambios materiales en el sitio. Si continúa usándolo después de eso, usted acepta los términos revisados.