स्थिती तपासा
See what it is working on right now →
सार्वजनिक. "सर्वर चेक करते" असे म्हणणारे सर्व ठिकाण स्पष्टपणे सांगावे की कोणते चेकर्स सक्रीय आहेत, जेणेकरून तुम्ही यातील फरक सांगू शकाल सिद्ध झाले नाही आणि आज आम्ही proofr चालवू शकलो नाही.
| अलगीकरण (कोणत्याही सादरीकरण चालविण्यापूर्वी आवश्यक आहे) | उपलब्ध |
| Lean 4 + Mathlib (एकमेव साधन जे निश्चित करू शकते ∎) | उपलब्ध |
| SageMath | उपलब्ध |
| PARI/GP | उपलब्ध |
| Z3 / SMT | उपलब्ध |
| Python (सांडबॉक्स) | उपलब्ध |
| प्लॉट (matplotlib) | उपलब्ध |
| OEIS शोध (कोणीतरी दुसर्‍याचे सर्वर, म्हणून सर्वोत्तम प्रयत्न) | उपलब्ध |