हिलबर्ट के कार्यक्रम की परंपरा में हम एक औपचारिक सही (एक सबूत सत्यापनकर्ता द्वारा जांच योग्य) लेकिन पठनीय (एक साधारण LaTeX पाठ्यपुस्तक की तरह) गणितीय ज्ञान आधार है जो इंटरनेट के भीतर स्वतंत्र रूप से सुलभ है बनाते हैं। तर्क और सेट थ्योरी शुरू कर दिया।
संस्करण इतिहास
- विवरण 0.04.02 पर तैनात 2011-05-01
- विवरण 0.04.11 पर तैनात 2011-03-05
कई सुधार और अपडेट
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: www.qedeq.org
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 0.04.02
- मंच: linux