Halmos ∎

वस्तुस्थिति जाँचकर्ता

यो अहिले केमा काम गरिरहेको छ हेर्नुहोस् →

उद्देश्यमा सार्वजनिक। एक साइट जसको सम्पूर्ण दाबी "सरभरले यसलाई जाँच गर्दछ" स्पष्ट रूपमा कुन जाँचकर्ताहरू जीवित छन् भन्ने कुरा भन्नु पर्छ, त्यसैले तपाईं बीच फरक बताउन सक्नुहुन्छ प्रमाणित गरिएको छैन र हामी आज प्रमाणक चलाउन सकेनौं.

अलगाव (कुनै पनि पेश गर्न चलाउनु अघि आवश्यक) उपलब्ध
Lean 4 + Mathlib (सेट गर्न सकिने एक मात्र उपकरण ∎) उपलब्ध
SageMathउपलब्ध
PARI/GPउपलब्ध
Z3 / SMTउपलब्ध
Python (स्यान्डबक्स गरिएको)उपलब्ध
प्लोट (matplotlib)उपलब्ध
OEIS खोजी (कसैको सर्भर, त्यसैले सबै भन्दा राम्रो प्रयास)उपलब्ध

वार्तालापमा सामेल हुनुहोस् ।

लेख्न लगइन, विचार बचत, र तपाईंलाई प्रेरित गर्ने मानिसहरू पालना गर्नुहोस्।

खाता सिर्जना गर्नुहोस् · पासवर्ड भूल्नु भयो?

प्रयोगकर्ता नाम र पासवर्ड तपाईँले सुरु गर्न आवश्यक सबै हो ।

हामीलाई प्रतिक्रिया पठाउनुहोस्

के भयो वा के आशा थियो हामीलाई बताउनुहोस्। हामी हरेक सन्देश पढ्छौं।

धन्यवाद, हामी यो पाए. तपाईं एक इमेल छोडे भने हामी जवाफ हुनेछ.