हम जानते हैं कि and अनंत है और काफी संभावना है कि इसमें अंकों के प्रत्येक संभव परिमित तार ( डिसजक्टिव सीक्वेंस ) शामिल हैं। मैंने हाल ही में whichfs के कुछ प्रोटोटाइप देखे हैं जो यह मानते हैं कि आपके द्वारा बनाई गई प्रत्येक फ़ाइल (या किसी और) या …
पृष्ठभूमि मैं अपने दम पर सहायता, Coq सीख रहा हूं। अब तक, मैंने यव्स बर्टोट के कोक एक हूर्री में पढ़ना पूरा कर लिया है । अब, मेरा लक्ष्य प्राकृतिक संख्या से संबंधित कुछ बुनियादी परिणामों को साबित करना है, तथाकथित विभाजन एल्गोरिथ्म के साथ समापन। हालाँकि, मुझे उस लक्ष्य …