सॉफ्टवेयर सबमिट करें
  1. को
  2. Linux
  3. अन्य
  4. Lurch
  5. Download

Lurch 0.4

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 3.0/5 - ‎1 ‎वोट

करीबन Lurch

गणितीय प्रमाण ों को पढ़ाने और सीखने के लिए सॉफ्टवेयर जहां अधिकांश गणितीय प्रमाण सॉफ्टवेयर औपचारिक तर्क (या गणित के कुछ अन्य विशेषता क्षेत्र) पर ध्यान केंद्रित करता है, मझधार का उद्देश्य वास्तव में सामान्य उद्देश्य होना है, एक इंट्रासिटव यूजर इंटरफेस के साथ।

संबंधित कार्यक्रम

  • TOTAL .NET Protector नि: शुल्क परीक्षण

    चूंकि .NET एक प्रबंधित वातावरण है, इसलिए रिफ्लेक्टर या रिफ्रैक्टर का उपयोग करके किसी के लिए भी आपका कोड खुला होने का नकारात्मक पक्ष हमेशा होता है।स्केटर टोटल आपकी विधानसभाओं के डीस्पटिलेबल माइक्रोसॉफ्ट इंटरमीडिएट लैंग्वेज क

  • Ziga मुफ्त

    जावा में लिखा एक फाइलशेयरिंग आवेदन। यह विभिन्न प्रोटोकॉल का समर्थन करने के लिए मॉड्यूल का उपयोग करता है। फिलहाल नैपस्टर और गनुटेला प्रोटोकॉल के लिए एक मॉड्यूल उपलब्ध है।

  • Scriptol Xul Dev मुफ्त

    Xul देव Xul विकास पर्यावरण के लिए होता है। आईडीई का उद्देश्य Xul इंटरफेस डिजाइन करना और किसी भी प्रोग्रामिंग भाषा में कार्यक्रम बनाना है। आईडीई को स्क्रिप्टॉल सी + + में लिखा गया है और स्रोत रूप में और बाइनरी निष्पादित के रूप

  • cmpio library मुफ्त

    लिबम्पियो एक सामान्य उद्देश्य पुस्तकालय है, जो विभिन्न प्लेटफार्मों के बीच परिवर्तनीय रिकॉर्ड लंबाई, रिकॉर्ड संपीड़न, पारदर्शी मात्रा निर्माण और नियंत्रण और पोर्टेबिलिटी के साथ डेटा फ़ाइलों में हेरफेर करने का एक आसान तरीका प्

  • Nuke My Tablet नि: शुल्क परीक्षण

    परमाणु मेरा टैबलेट आपके व्यक्तिगत डेटा, ऐसी तस्वीरों और वीडियो को सुरक्षित करके और आपके फोन को फैक्ट्री सेटिंग्स में लौटाकर आपकी गोपनीयता की रक्षा करता है। अब आप अनधिकृत डेटा वसूली के बारे में चिंता किए बिना पुराने उपकरणों को

  • the prefuse visualization toolkit मुफ्त

    इंटरैक्टिव जानकारी दृश्य अनुप्रयोगों के निर्माण के लिए सॉफ्टवेयर उपकरण। प्रीफ्यूज़ जावा (प्रीफ्यूज़) और फ्लैश (प्रीफयूज फ्लेयर) दोनों के लिए डेटा मॉडलिंग, विज़ुअलाइज़ेशन, एनीमेशन और इंटरैक्शन के लिए सुविधाओं के एक समृद्ध सेट

  • AJIO मुफ्त

    AJIO एक या एक से अधिक कक्षाओं से जार के निर्माण की अनुमति देता है । बनाई जार फ़ाइल सभी संदर्भित जार फ़ाइलों से सभी आश्रित वर्गों में शामिल हैं।AJIO permet de crer UN जार पार्टिर डी'यून ou plusieurs कक्षाएं एट डे leur dpen

  • AdaDLX मुफ्त

    यह डोनाल्ड ई. Knuth पेपर के रूप में नृत्य लिंक एक्स एल्गोरिथ का एक एडीए कार्यान्वयन है। AdaDLX का उपयोग बॉक्स पहेली में आठ-क्वींस पहेली, सुडोकू ग्रिड और ब्लॉक को हल करने के लिए किया जाता है।

  • Php5 Meta-Model मुफ्त

    पीएचपी 5 मॉडल। यह परियोजना इकोरे पीएचपी 5 मॉडल और इसके जनरेटर को होस्ट करती है।

  • Spyc मुफ्त

    स्पाइक पीएचपी के लिए एक साधारण YAML लोडर/डम्पर वर्ग है। इसका उपयोग YAML फ़ाइलों को पीएचपी डेटा संरचनाओं में लोड करने या पीएचपी सरणी को सरल YAML में डंप करने के लिए किया जा सकता है। YAML के बारे में अधिक के लिए, www.yaml.org द