Jape एक विन्यास ग्राफिकल औपचारिक सबूत कैलकुलेटर है। एक तर्क को परिभाषित करना संभव है, यह तय करें कि आपके उपयोगकर्ता अपने प्रमाणों को कैसे देखेंगे, और बहुत कुछ। यह अनुक्रमिक पथरी और प्राकृतिक कटौती के वेरिएंट के साथ काम करता है। मैक, यूनिक्स, विंडोज।
संस्करण इतिहास
- विवरण N/A पर तैनात 2011-08-11
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-08-11
कार्यक्रम विवरण
- कोटि: नेटवर्क और इंटरनेट > अन्य
- प्रकाशक: jape.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows