द्वारा कार्यक्रम lurch.sf.net
-
Lurch मुफ्त
गणितीय प्रमाण ों को पढ़ाने और सीखने के लिए सॉफ्टवेयरजहां अधिकांश गणितीय प्रमाण सॉफ्टवेयर औपचारिक तर्क (या गणित के कुछ अन्य विशेषता क्षेत्र) पर ध्यान केंद्रित करता है, मझधार का उद्देश्य वास्तव में सामान्य उद्देश्य होना है, ए