Agda 1 1.0.2
आप 5 सेकंड में डाउनलोड कर सकेंगे।
डाउनलोड शुरू करने के लिए आप निम्नलिखित बाहरी डाउनलोड लिंक पर भी क्लिक कर सकते हैं:
http://sourceforge.net/projects/agda/files/Agda/1.0.2/Agda-1.0.2a-latin1.tar.gz/download
करीबन Agda 1
Agda संवर्द्धित रूप से विकसित करने के सबूत और कार्यक्रमों के लिए एक प्रणाली है। यह पिछले Agda (Agda 1) के लिए स्रोत परियोजना है । बीटा परीक्षण में Agda (Agda 2) का एक नया संस्करण से उपलब्ध है: http://wiki.portal.chalmers.se/agda/
संबंधित कार्यक्रम
-
Survival Medicine Guide नि: शुल्क परीक्षण
"मुक्त एडोब रीडर की आवश्यकता है" *यह एक जीवित रहने की दवा गाइड के मामले में क्या हम सब डर वास्तव में होता है । यह किसी भी अच्छे अस्तित्व मैनुअल के लिए एक बड़ी तारीफ है। यह जानकारी उपलब्ध नहीं हो सकता है जब आपको इसकी आवश्य
-
terz मुफ्त
टर्ज द इनक्रॉज अविश्वसनीय ऑटोटैगर एक स्वचालित ऑडियो फाइल टैगर और फाइल रेनेज़र है। यह musicbrainz द्वारा प्रदान की गई जानकारी का उपयोग करता है। संदर्भ जानकारी का उपयोग करके Terz बहुत अच्छे परिणाम प्राप्त करता है। अन्य विशेषताए
-
Lua ODE मुफ्त
लुआ ओड विंडोज, ओएस एक्स और लिनक्स प्लेटफार्मों के लिए लुआ भाषा के लिए ओपनडीई की बाइंडिंग है।
-
assistent-fah मुफ्त
Folding@home के लिए सहायताक ग्राहक लॉग द्वारा वितरित कंप्यूटिंग परियोजना में अपने कंप्यूटर की औसत गति Folding@home गणना करते हैं।Folding@home के लिए सहायक जीएनयू जनरल पब्लिक लाइसेंस के तहत लाइसेंस प्राप्त है
-
Spanish Tester Lite नि: शुल्क परीक्षण
स्पेनिश परीक्षक प्रो नकली प्रश्नोत्तरी प्रश्न पैदा करके भाषण के कुछ हिस्सों के बीच स्पेनिश क्रिया conjugations और समझौते पर आप परीक्षण।एकाधिक विकल्प और भरने में खाली प्रश्न निम्नलिखित 15 क्रिया रूपों पर अपने ज्ञान का परीक
-
IRBEM-LIB मुफ्त
आईआरबीईएम-लिब पृथ्वी के चुंबकीय क्षेत्र में किसी भी स्थान के लिए चुंबकीय निर्देशांक की गणना करने, समन्वय रूपांतरण करने, भूभौतिकी/अंतरिक्ष-भौतिकी मॉडल का मूल्यांकन करने और समय पर कक्षाओं का प्रचार करने के लिए दिनचर्या प्रदान क
-
libTopo मुफ्त
लिटोपो और टोपोमैप ईटीओपीओ 2, ईटीओपीओ 5 और ग्लोब जैसे स्थलाकृति मानचित्रों का उपयोग, परिवर्तित, विश्लेषण और प्रदर्शित करने के लिए उपकरण हैं। टोपोमैप स्थलाकृति डेटाबेस को कच्चे डेटा, छवियों आदि में परिवर्तित करने के लिए कमांड ल
-
Nanodesigner मुफ्त
नैनोडिजाइनर आणविक नैनो पर शोध के लिए एक सॉफ्टवेयर प्लेटफॉर्म है। इसमें प्लग-इन आर्किटेक्चर है और इसमें आणविक दृश्य और मॉडलिंग, जटिल नए अणुओं का डिजाइन, आणविक गतिशीलता के लिए उपकरण शामिल होंगे,...
-
Analysis & Reconstruction Sound मुफ्त
विश्लेषण और पुनर्निर्माण ध्वनि इंजन एक स्पेक्ट्रोग्राम में एक ध्वनि फ़ाइल का विश्लेषण करता है और इस स्पेक्ट्रोग्राम, या किसी अन्य उपयोगकर्ता द्वारा बनाई गई छवि को एक ध्वनि में वापस संश्लेषित करने में सक्षम है।
-
G200X Motion controller मुफ्त
छिपकली G200X मोशन कंट्रोलर के लिए फर्मवेयर और जीयूआई कोड