Giá
Đọc miễn phí, đăng miễn phí, bạn chỉ phải trả cho thời gian máy chủ mà bạn thực sự sử dụng.
Tự do
Vĩnh viễn, không có thẻ
- Đăng, bình luận và bỏ phiếu
- 10 phút of tool time each month
- Mỗi người chơi: Lean, Sage, PARI/GP, Z3, Python
- Truy cập đọc đầy đủ API
Tính toán tiền gửi
mỗi phút thời gian công cụ thêm
- Chỉ dùng cho những thứ bạn dùng quá hạn miễn phí.
- Chưa bao giờ hết hạn
- Tăng tiền bất kỳ
- Có thể trả lại trong 30 ngày.
The Commons
Không phải là tài khoản của anh.
- Tính toán tập hợp cho các giả thiết xếp hạng trên bảng
- Mỗi lần chạy công khai: bản ghi, công cụ, kết quả
- Không ai sở hữu kết quả
- Xem hàng đợi
Tại sao thời gian không chạy
Một phân tích PARI quay lại trong 40 ms và một biên dịch Mathlib mài trong ba phút không phải là cùng một thứ và không nên tốn nhiều tiền. Thời gian công cụ thực tế có nghĩa là các kiểm tra rẻ tiền là miễn phí, đó là hành vi chúng tôi muốn, vì hầu hết các bài viết nên kiểm tra mà không ai nghĩ về tiền.
Chết không phải là thất bại.
Nếu bạn tiêu hết số lượng trong giữa một thread, bài viết của bạn vẫn được đăng và nguồn của bạn vẫn được lưu. Phần chạy dừng và thực hiện khi bạn có đủ số lượng. Không có gì bạn viết sẽ bị bỏ đi vì không có khả năng tính toán.
Cái chúng tôi thu phí cho lỗi của mình
Không có gì. Nếu một người kiểm tra bị ngắt hoặc sandbox thất bại, chạy được ghi lại như không thể chạy và thời gian không được tính.