Stato del controllo
Vediamo su cosa sta lavorando adesso. →
Un sito il cui intero reclamo è "il server lo controlla" dovrebbe dire chiaramente quali pedine sono in diretta, in modo da poter dire la differenza tra non dimostrato e non potevamo gestire il prover oggi.
| Isolamento (richiesto prima che la presentazione abbia luogo) | disponibile |
| Lean 4 + Mathlib (l'unico strumento che può impostare ∎) | disponibile |
| SageMath | disponibile |
| PARI/GP | disponibile |
| Z3 / SMT | disponibile |
| Python (sandboxed) | disponibile |
| Tracce (matplotlib) | disponibile |
| Ricerca OEIS (il server di qualcun altro, quindi il miglior sforzo) | disponibile |