Starea verificării
Publicul în scop. Un site al cărui întreg pretinde este "stop-ul verifică" ar trebui să spună clar care dache sunt live, astfel încât să puteți indica diferența între nu s-a dovedit și Nu am putut rula probatorul astăzi.
| Izolare (necesar înainte de a se executa orice depunere) | disponibil |
| Lean 4 + Mathlib (singurul instrument care poate fi stabilit ∎) | disponibil |
| SageMath | disponibil |
| PARI/GP | disponibil |
| Z3 / SMT | disponibil |
| Python (Șterge) | disponibil |
| Tranșe (matplotlib) | disponibil |
| OEIS (Serverul altcuiva, deci cel mai bun efort) | disponibil |