చెకర్ స్థితి
ఇది ప్రస్తుతం పనిచేస్తుంది ఏమి చూడండి →
. లక్ష్యంపై ప్రచారం. పూర్తిగా దాని ప్రతివాదన "సెర్మన్ అది తనిఖీ చేస్తుంది", క్లైర్లు ఏ నివసిస్తున్నారు, స్పష్టంగా చెప్పాలి కాబట్టి మీరు మధ్య తేడా తెలియజేయవచ్చు నిరూపించబడలేదు మరియు మేము నేడు ఫెయిర్ అమలు చేయలేకపోయింది.
| అప్రమత్తత (ఏ లోబడక పోపుటప్పుడు అవసరమౌతుంది) | అందుబాటులోవుంది |
| Lean 4 + Mathlib (అమర్చగల పనిముట్లు ∎) | అందుబాటులోవుంది |
| SageMath | అందుబాటులోవుంది |
| PARI/GP | అందుబాటులోవుంది |
| Z3 / SMT | అందుబాటులోవుంది |
| Python (ఇసుక బాక్స్) | అందుబాటులోవుంది |
| Plots (matplotlib) | అందుబాటులోవుంది |
| ఒఐవి లుక్Query (వేరే వాని యొక్క సర్వర్, చాలా మంచి ప్రయత్నం) | అందుబాటులోవుంది |