Jape
लाइसेंस: मुफ्त फ़ाइल आकार: N/A
उपयोगकर्ताओं की रेटिंग: 5.0/5 - 1 वोट
कृपया प्रतीक्षा करो।।। दुर्भावनापूर्ण सामग्री के लिए आपका डाउनलोड लिंक सत्यापित किया जा रहा है.
आप 5 सेकंड में डाउनलोड कर सकेंगे।
आप 5 सेकंड में डाउनलोड कर सकेंगे।
करीबन Jape
Jape एक विन्यास ग्राफिकल औपचारिक सबूत कैलकुलेटर है। एक तर्क को परिभाषित करना संभव है, यह तय करें कि आपके उपयोगकर्ता अपने प्रमाणों को कैसे देखेंगे, और बहुत कुछ। यह अनुक्रमिक पथरी और प्राकृतिक कटौती के वेरिएंट के साथ काम करता है। मैक, यूनिक्स, विंडोज।