Статус на контролата
Да видиме на што работи сега. →
Public on purpose. A site whose whole claim is "the server checks it" should say plainly which checkers are live, so you can tell the difference between не е докажано и Не можевме да го водиме докажувачот денес..
| Изолација (барано пред да се изврши поднесувањето) | Достапно |
| Lean 4 + Mathlib (единствената алатка која може да ја постави ∎) | Достапно |
| SageMath | Достапно |
| PARI/GP | Достапно |
| Z3 / SMT | Достапно |
| Python (заглавена) | Достапно |
| Заплети (matplotlib) | Достапно |
| ОЕИС бара (нечиј сервер, затоа најдобриот труд) | Достапно |