Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework
यह शोध पत्र xLaDe प्रस्तुत करता है, जो एक Lean 4 इकोसिस्टम फ्रेमवर्क है जिसे टूलचेन मेटाडेटा को रिकॉर्ड करके और सोर्स कोड को संशोधित किए बिना प्रयोगात्मक वातावरण का प्रबंधन करके औपचारिक गणित की दीर्घकालिक पुनरुत्पादकता और स्थिरता सुनिश्चित करने के लिए डिज़ाइन किया गया है, जिससे इस भाषा के तीव्र विकास से उत्पन्न चुनौतियों का समाधान किया जा सके।
मूल पेपर CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।