Tình trạng
Một trang web mà toàn bộ tuyên bố là "máy chủ kiểm tra nó" nên nói rõ ràng những người kiểm tra nào đang hoạt động, để bạn có thể nói ra sự khác biệt giữa chưa chứng minh và Chúng tôi không thể chạy phần mềm hôm nay.
| Độc lập (cần thiết trước khi chạy bất kỳ việc gửi nào) | có sẵn |
| Lean 4 + Mathlib (công cụ duy nhất có thể thiết lập ∎) | có sẵn |
| SageMath | có sẵn |
| PARI/GP | có sẵn |
| Z3 / SMT | có sẵn |
| Python (được sao chép) | có sẵn |
| Đồ thị (matplotlib) | có sẵn |
| Tìm kiếm OEIS (Máy chủ của người khác, nên cố gắng hết sức) | có sẵn |