Stanje kontrole
Da vidimo na čemu sada radi. →
Javno namjerno. Stranica čija je cijeli zahtjev "poslužitelj provjerava" treba jasno reći koje su dame uživo, tako da možete reći razliku između nije dokazano Sluči Danas nismo mogli voditi dokazivanje..
| Izolacija (potrebno prije nego što bilo podnošenje pokrene) | Dostupno |
| Lean 4 + Mathlib (jedini alat koji može postaviti ∎) | Dostupno |
| SageMath | Dostupno |
| PARI/GP | Dostupno |
| Z3 / SMT | Dostupno |
| Python (zaglavljeni) | Dostupno |
| Zavjere (matplotlib) | Dostupno |
| OEIS potraga (Tuđi server, tako da je najbolji trud) | Dostupno |