Controlestatus
Kijken waar het nu aan werkt. →
Een site waarvan de hele claim "de server controleert het" moet duidelijk zeggen welke dammen zijn live, zodat u het verschil tussen niet bewezen en We konden vandaag de spreekbuis niet leiden..
| Isolatie (vereist voordat een aanmelding loopt) | beschikbaar |
| Lean 4 + Mathlib (het enige gereedschap dat kan instellen ∎) | beschikbaar |
| SageMath | beschikbaar |
| PARI/GP | beschikbaar |
| Z3 / SMT | beschikbaar |
| Python (zandbak) | beschikbaar |
| Percelen (matplotlib) | beschikbaar |
| OEIS opzoeken (Iemand anders zijn server, dus best inspanning) | beschikbaar |