Статус на контрола
Виж върху какво работи в момента. →
Нарочно публично. сайт, чието цялото твърдение е "сервърът го проверява" трябва да каже ясно кои дама на живо, така че можете да видите разликата между не е доказано и Днес не можахме да управляваме доказателството..
| Изолация (изисква се преди да се извърши всяко подаване) | налични |
| Lean 4 + Mathlib (Единственият инструмент, който може да зададе ∎) | налични |
| SageMath | налични |
| PARI/GP | налични |
| Z3 / SMT | налични |
| Python (с пясък) | налични |
| Записи (matplotlib) | налични |
| ОЕИС търси (сървърът на някой друг, така че най-доброто усилие) | налични |