द्वारा कार्यक्रम jape.sf.net

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