वस्तुस्थिति जाँचकर्ता
यो अहिले केमा काम गरिरहेको छ हेर्नुहोस् →
उद्देश्यमा सार्वजनिक। एक साइट जसको सम्पूर्ण दाबी "सरभरले यसलाई जाँच गर्दछ" स्पष्ट रूपमा कुन जाँचकर्ताहरू जीवित छन् भन्ने कुरा भन्नु पर्छ, त्यसैले तपाईं बीच फरक बताउन सक्नुहुन्छ प्रमाणित गरिएको छैन र हामी आज प्रमाणक चलाउन सकेनौं.
| अलगाव (कुनै पनि पेश गर्न चलाउनु अघि आवश्यक) | उपलब्ध |
| Lean 4 + Mathlib (सेट गर्न सकिने एक मात्र उपकरण ∎) | उपलब्ध |
| SageMath | उपलब्ध |
| PARI/GP | उपलब्ध |
| Z3 / SMT | उपलब्ध |
| Python (स्यान्डबक्स गरिएको) | उपलब्ध |
| प्लोट (matplotlib) | उपलब्ध |
| OEIS खोजी (कसैको सर्भर, त्यसैले सबै भन्दा राम्रो प्रयास) | उपलब्ध |