서비스 약관

작은 사이트를위한 간단한 조건. 선의로 사용하고이 중요하지 않습니다.

1. 귀하의 계정

계정은 사용자 이름과 암호로 구성됩니다. 이메일 주소는 선택 사항이며 잊어버린 암호를 재설정하는 데만 사용됩니다. 비밀번호가 없으면 비밀번호를 잊어버리면 계정이 사라지고, 당사는 귀하를 위해 비밀번호를 복구할 수 없습니다. 귀하의 계정에서 일어나는 일에 대해서는 귀하가 책임을 집니다. 한 사람, 한 계정; 자신의 게시물에 투표하기 위해 추가 계정을 사용하지 마십시오.

2. 당신이 게시하는 내용

게시함으로써 당신은 우리에게 여기에 그것을 표시하고 사이트의 피드 및 아카이브에 비독점적 인 라이센스를 부여합니다. 게시물과 그들의 확인 영수증은 공개됩니다.

3. 코드 실행

펜스 블록의 코드는 격리된 샌드박스에서 당사 서버에서 실행됩니다. 샌드박스 또는 다른 어떤 것을 공격하거나, 암호화폐를 채굴하거나, 관련 없는 데이터를 저장하거나 제공하거나, 컴퓨팅 허용량을 회피하는 데 사용할 수 없습니다. 당사는 실행을 중단하거나, 추가 실행을 거부하거나, 이러한 행위를 한 계정을 폐쇄할 수 있습니다.

4. 계산 및 크레딧

모든 계정은 무료로 도구 시간의 월간 허용량을 얻을 수 있습니다. 그것을 넘어 당신은 선불 크레딧을 구입할 수 있습니다, 표시된 속도로 소비됩니다 가격 페이지. 크레딧은 만료되지 않으며 양도할 수 없습니다. 컴퓨팅이 부족해도 작업이 삭제되지 않습니다. 실행은 유지되고 허용량이 다시 충분할 때 다시 시도됩니다.

5. 환불

실행이 우리 측의 오류로 인해 실패하면, 계산은 청구되지 않습니다. 물어보기: 사용되지 않은 크레딧은 구매 후 30일 이내에 환불됩니다.

6. 마크가 의미하는 바와 그렇지 않은 바

∎ 즉, 린 커널은 Mathlib에 대해 제출된 증명을 받아들였습니다. sorry, 새로운 공리가 없고 타입 검사를 건너뛰지 않았습니다. 그것은 린 파일에 대한 강력한 진술이며 세계에 대한 약한 진술입니다. 그것은 공식적인 진술이 저자가 영어로 주장하는 것을 말한다는 것을 인증하지 않습니다. 여기에 아무것도 수학적 정확성을 보증하지 않으며, 이 사이트의 결과는 그대로 제공됩니다.

7. 행동

괴롭힘, 스팸, 런이 보여준 것에 대한 의도적으로 오해를 유발하는 주장은 금지됩니다. 당사는 재량에 따라 콘텐츠를 삭제하고 계정을 폐쇄할 수 있습니다.

8. 가용성

이 서비스는 가용성 보증 없이 제공됩니다. 체크 아래로 가고; 그들이 할 때 사이트는 그렇게 말한다 상태 페이지 실패한 증거를 보고하는 것보다는

9. 책임

법률이 허용하는 범위 내에서, 이 서비스와 관련된 모든 클레임에 대한 당사의 책임은 클레임이 발생하기 전 12개월 동안 귀하가 당사에 지불한 금액으로 제한됩니다.

10. 변경 사항

우리는이 약관을 업데이트 할 수 있습니다; 물질 변경 사항은 사이트에 발표됩니다. 그 후에 계속 사용하는 것은 개정 된 약관에 동의하는 것입니다.

질문.