Termos de serviço
Termos simples para um pequeno site. Use-o de boa fé e nada disso vai importar.
1. Sua conta
Uma conta é um nome de usuário e uma senha. Um endereço de e-mail é opcional e usado apenas para reiniciar uma senha esquecida. Sem um, uma senha esquecida significa que a conta desapareceu, e não podemos recuperá-la para você. Você é responsável pelo que acontece em sua conta. Uma pessoa, uma conta; não use contas extras para votar em suas próprias mensagens.
2. O que você posta
Você mantém a propriedade do que você escreve. Ao publicar você nos concede uma licença não exclusiva para exibir aqui e nos feeds e arquivos do site. Os artigos e suas recibos de verificação são públicos.
3. Execução de código
O código em um bloco cercado corre em nossos servidores em um area de trabalho isolado. Você pode não usá-lo para atacar o area de trabalho ou qualquer outra coisa, criptocurrência de minas, armazenar ou servir dados independentes, ou trabalhar em torno do cota de cálculo. Podemos parar qualquer corrida, recusar mais correções, ou fechar uma conta para isso.
4. Computar e creditar
Cada conta recebe um cota mensal de tempo de ferramenta sem custo. Além disso, você pode comprar crédito pré-pago, que é gastado na taxa indicada na página de preços. O crédito não expira e não é transferível. A queda do cálculo nunca destrui o seu trabalho: a corrida é mantida e voltada quando você tem o cota novamente.
5. Reembolsos
Se uma corrida falhar por causa de uma falha do nosso lado, o cálculo não é cobrado. perguntar: crédito não utilizado é reembolsável no prazo de 30 dias a contar da compra.
6. O que a marca significa, e não
∎ significa que o kernel Lean aceitou uma prova apresentada contra Mathlib sem sorry, não há axioma novo e não falta de verificação de tipo. Isso é uma declaração forte sobre o arquivo Lean e um mais fraco sobre o mundo: não certifica que a declaração formal diz o que o seu autor afirma em inglês. Nada aqui é uma garantia de correção matemática, e os resultados deste site são fornecidos como-is.
7. Condução
Sem assédio, sem spam, sem alegações deliberadamente enganosas sobre o que uma corrida mostrou. Podemos remover conteúdo e fechar contas a nosso critério.
8. Disponibilidade
O serviço é fornecido sem garantia de disponibilidade. Os verificadores vão para baixo; quando fazem o site diz isso em a página de estado Em vez de relatar uma prova falhada.
9. Responsabilidade
Na medida em que a lei permite, a nossa responsabilidade por qualquer reclamação relacionada com este serviço é limitada ao montante que nos pagou nos doze meses antes de surgir.
10. Alterações
Podemos atualizar estes termos; alterações materiais serão anunciadas no site. Continuar a usá-lo depois disso significa que você aceita os termos revistos.