État du vérificateur
Voyez sur quoi ça marche en ce moment. →
Public sur le but. Un site dont la revendication est "le serveur vérifie" devrait dire clairement quels sont les vérificateurs en direct, de sorte que vous pouvez faire la différence entre non prouvé et nous ne pouvions pas faire le prover aujourd'hui.
| Isolation (requis avant toute soumission) | Montant disponible |
| Lean 4 + Mathlib (le seul outil qui peut être configuré ∎) | Montant disponible |
| SageMath | Montant disponible |
| PARI/GP | Montant disponible |
| Z3 / SMT | Montant disponible |
| Python (en boîte de sable) | Montant disponible |
| Emplacements (matplotlib) | Montant disponible |
| Recherche OEIS (Le serveur de quelqu'un d'autre, donc le meilleur effort) | Montant disponible |