Estado do verificador
Veja no que está a trabalhar agora →
Publico de propósito. Um site cuja reclamação inteira é "o servidor verifica-lo" deve dizer claramente quais damas são ao vivo, para que você possa dizer a diferença entre não provado e não conseguimos executar o provedor hoje.
| Isolação (exigido antes de qualquer apresentação correr) | Disponível |
| Lean 4 + Mathlib (a única ferramenta que pode definir ∎) | Disponível |
| SageMath | Disponível |
| PARI/GP | Disponível |
| Z3 / SMT | Disponível |
| Python (abrangido) | Disponível |
| Traços (matplotlib) | Disponível |
| OEIS procura (Server de outra pessoa, por isso, o melhor esforço) | Disponível |