Status kontrolne kontrole
See what it is working on right now →
Javno namerno. Spletna stran, katere celotna trditev je "Struber jo preveri" bi moral jasno povedati, katere dame so v živo, tako da lahko razliko med ni dokazano in Danes ne bi mogli voditi dokazovalca..
| Izolacija (zahtevan pred kakršnim koli predložitvijo) | na voljo |
| Lean 4 + Mathlib (edino orodje, ki lahko nastavi ∎) | na voljo |
| SageMath | na voljo |
| PARI/GP | na voljo |
| Z3 / SMT | na voljo |
| Python (zapeščeno) | na voljo |
| Načrti (matplotlib) | na voljo |
| OEIS poiskati (Tuji strežnik, zato si najboljša moč) | na voljo |