स्वचालित प्रमेय प्रोपर जावा में लागू किया गया और खंड पेड़ों का उपयोग किया गया। यह सॉफ्टवेयर टीपीटीपी से गणितीय प्रमेय को पढ़ने और उन्हें साबित या गलत साबित करने में सक्षम होगा।
संस्करण इतिहास
- विवरण N/A पर तैनात 2011-08-05
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-08-05
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: cs6725-prover.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows