Merkerstatus
Openbar op 'n doel.' n Sitplek waarvan die hele aanspraak "die bediener is, moet dit nagaan" moet duidelik sê watter tjeks lewe, sodat jy kan sien die verskil tussen nie bewys nie en kon ons nie vandag die bewysder hardloop nie.
| Afsondering (enige voorleggingsorde) | beskikbaar |
| Lean 4 + Mathlib (die enigste hulpmiddel wat kan stel ∎) | beskikbaar |
| SageMath | beskikbaar |
| PARI/GP | beskikbaar |
| Z3 / SMT | beskikbaar |
| Python (sandkasteel) | beskikbaar |
| Plots (matplotlib) | beskikbaar |
| OEIS-opsoek (iemand anders se bediener, so beste poging) | beskikbaar |