Cheo cha hundi
Ona yale ambayo inafanyia kazi sasa →
Tovuti ambayo dai lake lote ni "mfanyakazi anaichunguza" linapaswa kusema wazi ni wakaguzi gani wanaoishi, ili uweze kutofautisha kati ya mambo yote mawili haikuthibitishwa na Hatungeweza kukimbia yule mthibitishaji leo.
| Kujitenga (kabla ya kufikisha amri,) | inapatikana |
| Lean 4 + Mathlib (kifaa pekee kinachoweza kutua ∎) | inapatikana |
| SageMath | inapatikana |
| PARI/GP | inapatikana |
| Z3 / SMT | inapatikana |
| Python (Mchanga Uliobwa) | inapatikana |
| Plots (matplotlib) | inapatikana |
| USO wa OEIS (Mfanyakazi mwingine, kwa hiyo jitihada bora zaidi) | inapatikana |