Estado del verificador
Mira en qué está trabajando ahora mismo. →
Público a propósito. Un sitio cuya reclamación completa es "el servidor lo comprueba" debe decir claramente qué damas están en vivo, por lo que se puede decir la diferencia entre no probado y No podríamos correr el proverbio hoy.
| Aislamiento (requerido antes de que se ejecute cualquier envío) | disponible |
| Lean 4 + Mathlib (la única herramienta que puede configurar ∎) | disponible |
| SageMath | disponible |
| PARI/GP | disponible |
| Z3 / SMT | disponible |
| Python (Caja de arena) | disponible |
| Trazos (matplotlib) | disponible |
| Consulta de la OEIS (otro servidor, así que mejor esfuerzo) | disponible |