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