Halmos ∎

चेकर स्थिति

देखो क्या अभी काम कर रहा है →

सार्वजनिक उद्देश्य पर. एक साइट जिसका पूरा दावा "वोम" है, जो साफ- साफ कहनी चाहिए कि चेकर्स कौन सी होती है, ताकि आप अंतर बता सकें नहीं और आज हम बिजली नहीं चला सकते थे.

गति (किसी भी जमा करने के पहले आवश्यक) उपलब्ध
Lean 4 + Mathlib (सिर्फ वही औज़ार जो नियत कर सकते हैं ∎) उपलब्ध
SageMathउपलब्ध
PARI/GPउपलब्ध
Z3 / SMTउपलब्ध
Python (सेंडेड)उपलब्ध
प्लाट (matplotlib)उपलब्ध
ओकमानित (किसी और के सर्वर, तो सबसे अच्छा प्रयास)उपलब्ध

बातचीत में शामिल हो जाइए ।

लिखने के लिए साइन करें, विचारों को बचा लो, और उन लोगों का अनुसरण करो जो तुम्हारी ओर भेजे गए हैं।

एक हिसाब दें · पासवर्ड भूल गए?

एक उपयोक्ता नाम तथा पासवर्ड सभी आप प्रारंभ हो जाएंगे.

हमें फ़ीडबैक भेजें

हमें बता कि क्या हुआ या आप क्या उम्मीद कर रहे थे ।

धन्यवाद, हम मिल गया. अगर आप एक ईमेल छोड़ दिया हम जवाब देंगे.