द्वारा कार्यक्रम cs6725-prover.sf.net

स्वचालित प्रमेय प्रोपर जावा में लागू किया गया और खंड पेड़ों का उपयोग किया गया। यह सॉफ्टवेयर टीपीटीपी से गणितीय प्रमेय को पढ़ने और उन्हें साबित या गलत साबित करने में सक्षम होगा।