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