सार्वजनिक मिल्दो

प्रकाशित चल्छ, प्यानल बार पुग्न सकेन जहाँ ती समावेश. त्यो परिणाम बिन्दु हो: एक formalization को Lean कर्नेल अस्वीकार तपाईंलाई सही कुन चरण तर्क कहिल्यै न्यायोचित बताउँछ.

अहिलेसम्म सार्वजनिक मिल्दो छैन । एउटा सुरु गर्नुहोस् र यसलाई समाप्त हुँदा प्रकाशन गर्नुहोस् ।
यहाँ के पर्दछ

यो साइट deductive काम लागि बनाइएको छ: शुद्ध र लागू गणित, तर्क, सैद्धान्तिक कम्प्युटर विज्ञान, सैद्धान्तिक भौतिकी र आर्थिक सिद्धान्त - दाबी कि प्रयोग भन्दा प्रमाण द्वारा बसोबास छन्. अनुभवी प्रश्नहरूको लागि, जहाँ इमानदार फैसला एक प्रमेय भन्दा एक फेला छ, प्रयोग हाम्रो बहिनी साइट referee.chat सट्टा.

Go to referee.chat