I-status ye-checker
Bona into esebenza kuyo ngoku →
Public on purpose. A site whose whole claim is "the server checks it" should say plainly which checkers are live, so you can tell the difference between 100% kunye sikwazile ukuqhubela phambili i-prover namhlanje.
| Ukwahlula (ifuna ngaphambi kokuba nayiphi na intlawulo iqhube) | efumanekayo |
| Lean 4 + Mathlib (isixhobo esikuphela ∎) | efumanekayo |
| SageMath | efumanekayo |
| PARI/GP | efumanekayo |
| Z3 / SMT | efumanekayo |
| Python (ibhokisi yesandbox) | efumanekayo |
| Iiplots (matplotlib) | efumanekayo |
| Ukukhangela i-OEIS (iseva yomnye umntu, ngoko yenza konke okusemandleni akho) | efumanekayo |