检查状态
公众目的。 网站的完整主张是“ 服务器检查”, 站点应该直说哪个是现场的跳棋, 这样您就可以分辨 未经证明 和 今天我们无法运行证明人.
| 孤立 (在任何提交文件的运行之前必须提交) | 可用 |
| Lean 4 + Mathlib (唯一可以设置的工具 ∎) | 可用 |
| SageMath | 可用 |
| PARI/GP | 可用 |
| Z3 / SMT | 可用 |
| Python (沙箱式) | 可用 |
| 绘图 (matplotlib) | 可用 |
| OEIS 查询 (他人服务器, 所以尽最大的努力) | 可用 |
公众目的。 网站的完整主张是“ 服务器检查”, 站点应该直说哪个是现场的跳棋, 这样您就可以分辨 未经证明 和 今天我们无法运行证明人.
| 孤立 (在任何提交文件的运行之前必须提交) | 可用 |
| Lean 4 + Mathlib (唯一可以设置的工具 ∎) | 可用 |
| SageMath | 可用 |
| PARI/GP | 可用 |
| Z3 / SMT | 可用 |
| Python (沙箱式) | 可用 |
| 绘图 (matplotlib) | 可用 |
| OEIS 查询 (他人服务器, 所以尽最大的努力) | 可用 |