![](/statics/img/blank.png)
Coqtail
आप 5 सेकंड में डाउनलोड कर सकेंगे।
डाउनलोड शुरू करने के लिए आप निम्नलिखित बाहरी डाउनलोड लिंक पर भी क्लिक कर सकते हैं:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
करीबन Coqtail
COQ प्रमेय, सार और कार्यान्वयन (स्नातक स्तर) Coqtail Coq प्रूफ सहायक का उपयोग कर गणितीय सबूत की एक पुस्तकालय है ।
संबंधित कार्यक्रम
-
Triplets / Triple मुफ्त
सीई लॉजिकिएल रेचेचे टोस लेस ट्रिपलेट पाइथागोरिसियन्स क्यू एल'ऑन पीट पूर्व एवेक अन नोम्ब्रे एलेंट डे 1 99999999। /यह सॉफ्टवेयर सभी पाइथागोरस ट्रिपल के लिए लग रहा है जो हम एक नंबर के साथ फार्म कर सकते है 1 से ९९ जा रहा है ।
-
FunnyRobot Platform मुफ्त
FunnyRobot परियोजना एक शैक्षिक रोबोट नियंत्रक डिजाइन करता है जो यूएसबी के माध्यम से प्रोग्राम करने योग्य है। हार्डवेयर और सॉफ्टवेयर दोनों ही कॉन्फ़िगर करने योग्य और एक्सटेंसिबल हैं। उपयोगकर्ता सी + + लाइब्रेरी के साथ कार्यक्र
-
Merriam-Webster s Unabridged नि: शुल्क परीक्षण
मरियम-वेबस्टर की तीसरी नई अंतरराष्ट्रीय शब्दकोश, Unabridged-अमेरिका के सबसे व्यापक शब्दकोश ।------------शब्दकोश विवरण:• 257,244 प्रविष्टियां और 700,000 परिभाषाएं• 143,000 etymologies शब्द मूल और 100,000
-
Madagascar मुफ्त
मेडागास्कर भूभौतिकीय डेटा प्रसंस्करण और प्रजनन योग्य संख्यात्मक प्रयोगों के लिए एक सॉफ्टवेयर पैकेज है। पैकेज मिशन डिजिटल छवि और डेटा प्रसंस्करण के साथ काम कर रहे शोधकर्ताओं के लिए एक सुविधाजनक वातावरण प्रदान करना है।
-
Parable NKJV मुफ्त
मुफ़्त: जॉन के पूरे सुसमाचार (2 घंटे, 14 मिनट) लो Gossett, जॉन के रूप में जूनियर की विशेषता । किसी भी समय आप दृष्टांत एनकेजेवी ओल्ड एंड न्यू टेस्टामेंट के लिए पूरा ऑडियो खरीद सकते हैं या आप व्यक्तिगत रूप से किताबें खरीद सकते
-
LibreEngineering मुफ्त
लिबरइंजीनियरिंग - इंस्ट्रूमेंटेशन, इलेक्ट्रिकल, मैकेनिकल, प्रोसेस इंजीनियरिंग कैलकुलेशन और डिजाइन प्रोग्राम और अन्य उपकरणों का सूट। GPL3 के तहत लाइसेंस प्राप्त। क्यूट टूलकिट के साथ अजगर में लिखा है।
-
AVR Attiny26 Visual Programmer मुफ्त
आउटपुटिंग असेंबली के लिए Attiny26 माइक्रोकंट्रोलर के लिए विजुअल जीयूआई प्रोग्रामर, हेक्सेडेसीमल में कोडांतरण और एक सहज इंटरफ़ेस (टेकबॉट्स-ओसू) के साथ हार्डवेयर पर अपलोड करना।
-
GRE Mnemonics Wordlist Lite मुफ्त
-------------------कृपया इस सर्वेक्षण को पूरा करने में मदद करने के लिए हमें इस एप्लिकेशन को बेहतर बनाने के लिए।http://goo.gl/xwyyCX-------------------जीआरई, कैट, पीएसएटी, सैट, एलसैट, जीईड, ईएसएल, जीमैट, एक्ट, एमसीए
-
Asmaul Husna मुफ्त
परमेश्वर के 99 नाम या अल्लाह के 99 नाम परमेश्वर के नाम हैं जिनके द्वारा मुसलमान परमेश्वर (अल्लाह) का सम्मान करते हैं और जिन्हें कुरान में वर्णित किया गया है, और सुन्नत, अन्य स्थानों के बीच।
-
Doxygen filters मुफ्त
इन प्रोग्रामिंग भाषाओं के लिए डॉक्सीजेन फिल्टर: जीएनयू से आर, kx.com से क्यू, मैथवर्क्स से मैटलैब। इन कार्यक्रमों को फ्लेक्स + + का उपयोग करके सी + + में लागू किया जाता है। वे पूर्ण इनलाइन स्रोतों को न केवल कार्य परिभाषाएं प्