Điều kiện dịch vụ
Đây là những điều kiện đơn giản cho một trang web nhỏ, hãy sử dụng nó một cách tốt đẹp và điều này sẽ không ảnh hưởng gì.
1. Tài khoản của bạn
Tài khoản là tên người dùng và mật khẩu. Địa chỉ điện tử là tùy chọn và chỉ dùng để khôi phục mật khẩu đã quên. Nếu không có, một mật khẩu bị quên có nghĩa là tài khoản đã biến mất, và chúng tôi không thể khôi phục nó cho bạn. Bạn chịu trách nhiệm về những gì xảy ra dưới tài khoản của mình. Một người, một tài khoản; đừng dùng tài khoản khác để bỏ phiếu cho bài viết của chính mình.
2. Cái mày đăng
Bạn giữ quyền sở hữu những gì bạn viết. Bằng cách đăng bài, bạn cho chúng tôi quyền không độc quyền để hiển thị nó ở đây và trong các nguồn và lưu trữ của trang web. Bài viết và chứng nhận xác thực của chúng là công khai.
3. Thực hiện mã
Mã trong khối được rào chắn chạy trên máy chủ của chúng tôi trong một hộp cát cô lập. Bạn không thể dùng nó để tấn công hộp cát hay bất cứ thứ gì khác, khai thác tiền mã hóa, lưu trữ hoặc phục vụ dữ liệu không liên quan, hoặc làm việc xung quanh quyền tính toán. Chúng tôi có thể dừng bất kỳ chạy nào, từ chối chạy tiếp theo, hoặc đóng tài khoản vì làm như vậy.
4. Tính toán và ghi nợ
Mỗi tài khoản sẽ được cấp một thời gian công cụ hàng tháng mà không cần trả phí. Bên cạnh đó, bạn có thể mua tiền ghi nợ tiền gửi, được tiêu theo tỷ lệ được hiển thị trên trang trang giá. Điểm tín dụng không hết hạn và không thể chuyển đổi. Khi hết thời gian tính toán, công việc của bạn không bao giờ bị hủy bỏ: chạy sẽ được giữ lại và thử lại khi bạn có thời gian lại.
5. Trả lại
Nếu một chạy thất bại vì lỗi của chúng ta, tính toán không được tính phí. hỏi: Tiền không sử dụng được hoàn lại trong 30 ngày sau khi mua.
6. Điều gì mà dấu hiệu này có nghĩa, và không có nghĩa
∎ có nghĩa là nhân Lean chấp nhận một chứng minh gửi về Mathlib mà không có sorry, không có tiên đề mới và không bỏ qua kiểm tra kiểu. Đó là một tuyên bố mạnh về tập tin Lean và một tuyên bố yếu hơn về thế giới: nó không chứng thực rằng tuyên bố chính thức nói về những gì tác giả của nó nói bằng tiếng Anh. Không có gì ở đây là một sự đảm bảo về sự chính xác toán học, và kết quả từ trang này được cung cấp như là nó.
7. Điều khiển
Không quấy rầy, không spam, không tuyên bố cố ý sai lầm về những gì một cuộc chạy đã cho thấy.
8. Sẵn sàng
Dịch vụ này được cung cấp mà không đảm bảo sự sẵn có. Checkers bị hỏng; khi họ làm, trang web nói rằng the status page thay vì báo cáo một chứng cứ thất bại.
9. Trách nhiệm
Trong phạm vi được pháp luật cho phép, trách nhiệm của chúng tôi đối với bất kỳ yêu cầu liên quan đến dịch vụ này được giới hạn trong số tiền bạn đã trả cho chúng tôi trong 12 tháng trước khi nó xảy ra.
10. Sửa đổi
Chúng tôi có thể cập nhật các điều khoản này; các thay đổi quan trọng sẽ được công bố trên trang web. Nếu tiếp tục sử dụng sau đó, nghĩa là bạn đã chấp nhận các điều khoản được sửa đổi.