द्वारा कार्यक्रम www.qedeq.org

हिलबर्ट के कार्यक्रम की परंपरा में हम एक औपचारिक सही (एक सबूत सत्यापनकर्ता द्वारा जांच योग्य) लेकिन पठनीय (एक साधारण LaTeX पाठ्यपुस्तक की तरह) गणितीय ज्ञान आधार है जो इंटरनेट के भीतर स्वतंत्र रूप से सुलभ है बनाते हैं। तर्क और