एचएलएम रोजमर्रा के गणित के लिए एक प्रूफ असिस्टेंट है, जिसे फिलहाल विकसित किया जा रहा है । इसका उद्देश्य नियमित गणितीय अभ्यास के लिए जितना संभव हो उतना उपयोगकर्ता अनुभव है, और ऐसे प्रमाण जो मनुष्यों द्वारा थोड़ा अतिरिक्त प्रयास के साथ समझ में आते हैं।
संस्करण इतिहास
- विवरण Prototype पर तैनात 2011-02-08
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-02-08
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: hlm.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows