गणितीय प्रमाण ों को पढ़ाने और सीखने के लिए सॉफ्टवेयर जहां अधिकांश गणितीय प्रमाण सॉफ्टवेयर औपचारिक तर्क (या गणित के कुछ अन्य विशेषता क्षेत्र) पर ध्यान केंद्रित करता है, मझधार का उद्देश्य वास्तव में सामान्य उद्देश्य होना है, एक इंट्रासिटव यूजर इंटरफेस के साथ।
संस्करण इतिहास
- विवरण 0.4 पर तैनात 2010-09-22
कई सुधार और अपडेट - विवरण 0.4 पर तैनात 2010-09-22
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: lurch.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 0.4
- मंच: linux